Skip to content

Actions: kieler/semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Updated github action dependencies CI #335: Commit d605eb8 pushed by a-sr
April 3, 2025 13:18 30m 21s master
master
April 3, 2025 13:18 30m 21s
Merge pull request #132 from kieler/nre/launch-with-fonts CI #334: Commit 917dfd2 pushed by a-sr
April 3, 2025 13:01 6s master
master
April 3, 2025 13:01 6s
Merge pull request #128 from kieler/nre/remove-hotfix-elk-841 CI #333: Commit f95abe8 pushed by a-sr
April 3, 2025 13:00 9s master
master
April 3, 2025 13:00 9s
Dark theme support for diagrams CI #332: Pull request #96 synchronize by a-sr
April 3, 2025 12:56 9s als/dark
als/dark
April 3, 2025 12:56 9s
Dark theme support for diagrams CI #331: Pull request #96 synchronize by a-sr
March 26, 2025 09:55 7s als/dark
als/dark
March 26, 2025 09:55 7s
Dark theme support for diagrams CI #330: Pull request #96 synchronize by NiklasRentzCAU
March 26, 2025 09:02 6s als/dark
als/dark
March 26, 2025 09:02 6s
Dark theme support for diagrams CI #329: Pull request #96 synchronize by NiklasRentzCAU
March 25, 2025 17:56 9s als/dark
als/dark
March 25, 2025 17:56 9s
Dark theme support for diagrams CI #328: Pull request #96 synchronize by a-sr
March 25, 2025 15:57 9s als/dark
als/dark
March 25, 2025 15:57 9s
Dark theme support for diagrams CI #327: Pull request #96 synchronize by a-sr
March 25, 2025 14:53 10s als/dark
als/dark
March 25, 2025 14:53 10s
Various improvements and new features for OO and timed SCCharts CI #326: Pull request #64 synchronize by a-sr
February 20, 2025 15:44 51m 0s als/master
als/master
February 20, 2025 15:44 51m 0s
Ensure LSP launch configurations include the font resources CI #325: Pull request #132 opened by NiklasRentzCAU
January 16, 2025 11:18 42m 33s nre/launch-with-fonts
nre/launch-with-fonts
January 16, 2025 11:18 42m 33s
Various improvements and new features for OO and timed SCCharts CI #324: Pull request #64 synchronize by a-sr
December 12, 2024 14:05 39m 41s als/master
als/master
December 12, 2024 14:05 39m 41s
Various improvements and new features for OO and timed SCCharts CI #323: Pull request #64 synchronize by a-sr
December 12, 2024 13:57 44m 19s als/master
als/master
December 12, 2024 13:57 44m 19s
Merge pull request #131 from kieler/mka/region-spacing CI #322: Commit b3353ad pushed by a-sr
December 12, 2024 13:47 45m 18s master
master
December 12, 2024 13:47 45m 18s
replace region surrounding spacing by ELK nodeNodeSpacing CI #321: Pull request #131 synchronize by Eddykasp
December 9, 2024 15:16 34m 42s mka/region-spacing
mka/region-spacing
December 9, 2024 15:16 34m 42s
replace region surrounding spacing by ELK nodeNodeSpacing CI #320: Pull request #131 synchronize by Eddykasp
December 9, 2024 14:44 41m 2s mka/region-spacing
mka/region-spacing
December 9, 2024 14:44 41m 2s
replace region surrounding spacing by ELK nodeNodeSpacing CI #319: Pull request #131 opened by Eddykasp
December 9, 2024 14:43 41m 40s mka/region-spacing
mka/region-spacing
December 9, 2024 14:43 41m 40s
Nre/df fixes CI #318: Pull request #130 opened by NiklasRentzCAU
December 2, 2024 08:25 41m 1s nre/df-fixes
nre/df-fixes
December 2, 2024 08:25 41m 1s
Remove hotfix for eclipse/elk#841 that is now included since ELK release 0.9.0 CI #317: Pull request #128 opened by NiklasRentzCAU
November 21, 2024 09:26 42m 5s nre/remove-hotfix-elk-841
nre/remove-hotfix-elk-841
November 21, 2024 09:26 42m 5s
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