Skip to content

Actions: kieler/semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a synthesis hook to configure top-down layout for SCCharts CI #316: Pull request #127 synchronize by Eddykasp
November 12, 2024 13:01 39m 46s mka/topdown-layout
mka/topdown-layout
November 12, 2024 13:01 39m 46s
Add a synthesis hook to configure top-down layout for SCCharts CI #315: Pull request #127 opened by Eddykasp
November 8, 2024 14:42 33m 32s mka/topdown-layout
mka/topdown-layout
November 8, 2024 14:42 33m 32s
add fuzziness to edge labels CI #314: Pull request #126 opened by Eddykasp
November 8, 2024 14:08 4m 49s mka/label-shortening-fuzziness
mka/label-shortening-fuzziness
November 8, 2024 14:08 4m 49s
Various improvements and new features for OO and timed SCCharts CI #313: Pull request #64 synchronize by a-sr
November 5, 2024 12:33 48m 20s als/master
als/master
November 5, 2024 12:33 48m 20s
Merge pull request #123 from kieler/mka/adaptive-fonts CI #312: Commit aa5b1c5 pushed by a-sr
October 29, 2024 11:08 38m 9s master
master
October 29, 2024 11:08 38m 9s
Merge pull request #125 from lken274/master CI #311: Commit 2b3953e pushed by a-sr
October 29, 2024 11:07 32m 52s master
master
October 29, 2024 11:07 32m 52s
Fixed syntax error in SCEst code generation for signal bodies CI #310: Pull request #125 opened by lken274
October 27, 2024 05:54 11m 9s lken274:master
lken274:master
October 27, 2024 05:54 11m 9s
Merge pull request #124 from kieler/mka/model-parsing CI #309: Commit f7e66b2 pushed by a-sr
October 22, 2024 15:15 42m 42s master
master
October 22, 2024 15:15 42m 42s
Add adaptive fonts synthesis option CI #308: Pull request #123 synchronize by a-sr
October 22, 2024 15:12 42m 4s mka/adaptive-fonts
mka/adaptive-fonts
October 22, 2024 15:12 42m 4s
Merge pull request #122 from kieler/als/targetplatform CI #307: Commit 3dd8e03 pushed by a-sr
October 22, 2024 15:06 42m 44s master
master
October 22, 2024 15:06 42m 44s
Avoid unnecessary parsing of model file CI #306: Pull request #124 opened by Eddykasp
October 22, 2024 14:36 33m 2s mka/model-parsing
mka/model-parsing
October 22, 2024 14:36 33m 2s
Upgrade to Eclipse 2024-09 Target Platform CI #305: Pull request #122 synchronize by a-sr
October 21, 2024 14:41 42m 46s als/targetplatform
als/targetplatform
October 21, 2024 14:41 42m 46s
Upgrade to Eclipse 2024-09 Target Platform CI #304: Pull request #122 synchronize by a-sr
October 21, 2024 10:25 12m 28s als/targetplatform
als/targetplatform
October 21, 2024 10:25 12m 28s
Add adaptive fonts synthesis option CI #303: Pull request #123 opened by Eddykasp
October 21, 2024 08:40 31m 19s mka/adaptive-fonts
mka/adaptive-fonts
October 21, 2024 08:40 31m 19s
Upgrade to Eclipse 2024-09 Target Platform CI #302: Pull request #122 opened by a-sr
October 17, 2024 14:43 54s als/targetplatform
als/targetplatform
October 17, 2024 14:43 54s
Merge pull request #121 from kieler/nre/ls-all-elk-algs CI #301: Commit b181d9c pushed by NiklasRentzCAU
October 14, 2024 12:14 38m 1s master
master
October 14, 2024 12:14 38m 1s
Added all Missing ELK Algorithms to the Language Server. CI #300: Pull request #121 opened by NiklasRentzCAU
October 14, 2024 11:03 39m 19s nre/ls-all-elk-algs
nre/ls-all-elk-algs
October 14, 2024 11:03 39m 19s
Merge pull request #120 from kieler/NiklasRentzCAU-patch-1 CI #299: Commit c1e84d6 pushed by NiklasRentzCAU
October 8, 2024 12:33 50m 13s master
master
October 8, 2024 12:33 50m 13s
Update ci.yml CI #298: Pull request #120 opened by NiklasRentzCAU
October 8, 2024 11:49 42m 23s NiklasRentzCAU-patch-1
NiklasRentzCAU-patch-1
October 8, 2024 11:49 42m 23s
Various improvements and new features for OO and timed SCCharts CI #297: Pull request #64 synchronize by a-sr
August 22, 2024 14:29 46m 28s als/master
als/master
August 22, 2024 14:29 46m 28s
Various improvements and new features for OO and timed SCCharts CI #296: Pull request #64 synchronize by a-sr
July 29, 2024 15:44 32m 6s als/master
als/master
July 29, 2024 15:44 32m 6s
Various improvements and new features for OO and timed SCCharts CI #295: Pull request #64 synchronize by a-sr
July 29, 2024 11:18 33m 15s als/master
als/master
July 29, 2024 11:18 33m 15s
Various improvements and new features for OO and timed SCCharts CI #294: Pull request #64 synchronize by Drakae
July 29, 2024 09:17 31m 57s als/master
als/master
July 29, 2024 09:17 31m 57s
Various improvements and new features for OO and timed SCCharts CI #293: Pull request #64 synchronize by Drakae
July 29, 2024 09:06 31m 55s als/master
als/master
July 29, 2024 09:06 31m 55s
Various improvements and new features for OO and timed SCCharts CI #292: Pull request #64 synchronize by a-sr
July 25, 2024 17:56 44m 59s als/master
als/master
July 25, 2024 17:56 44m 59s