Skip to content

Actions: kieler/semantics

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add MrTree LS extension and configuration.
CI #249: Pull request #73 synchronize by soerendomroes
March 7, 2024 15:10 10m 38s sdo/interactiveMrTree
March 7, 2024 15:10 10m 38s
Merge pull request #105 from kieler/nre/synthesisHookPriority
CI #247: Commit afecd2c pushed by a-sr
February 27, 2024 13:52 29m 51s master
February 27, 2024 13:52 29m 51s
Fix Synthesis Hook Priority Handling
CI #246: Pull request #105 opened by NiklasRentzCAU
February 27, 2024 12:25 34m 7s nre/synthesisHookPriority
February 27, 2024 12:25 34m 7s
Merge pull request #97 from kieler/nre/update-2023-09
CI #244: Commit eb09200 pushed by a-sr
February 26, 2024 13:16 43m 59s master
February 26, 2024 13:16 43m 59s
Updated target platform to Eclipse 2023-12 release
CI #243: Pull request #97 synchronize by NiklasRentzCAU
February 23, 2024 15:09 37m 53s nre/update-2023-09
February 23, 2024 15:09 37m 53s
Various improvements and new features for OO and timed SCCharts
CI #242: Pull request #64 synchronize by a-sr
February 22, 2024 13:36 12m 2s als/master
February 22, 2024 13:36 12m 2s
Updated target platform to Eclipse 2023-12 release
CI #241: Pull request #97 synchronize by NiklasRentzCAU
February 22, 2024 13:00 14m 40s nre/update-2023-09
February 22, 2024 13:00 14m 40s
Updated target platform to Eclipse 2023-12 release
CI #240: Pull request #97 synchronize by NiklasRentzCAU
February 22, 2024 11:51 10m 7s nre/update-2023-09
February 22, 2024 11:51 10m 7s
Updated target platform to Eclipse 2023-12 release
CI #239: Pull request #97 synchronize by a-sr
February 6, 2024 14:31 10m 31s nre/update-2023-09
February 6, 2024 14:31 10m 31s
Updated target platform to Eclipse 2023-12 release
CI #238: Pull request #97 synchronize by a-sr
February 6, 2024 14:20 12m 9s nre/update-2023-09
February 6, 2024 14:20 12m 9s
sccharts.ui: Adjusted defaults for synthesis options
CI #237: Commit efe9a2a pushed by a-sr
February 6, 2024 11:26 12m 23s master
February 6, 2024 11:26 12m 23s
CI
CI #236: Manually run by a-sr
January 24, 2024 11:48 50s als/master
January 24, 2024 11:48 50s
CI
CI #235: Manually run by a-sr
December 30, 2023 13:01 1m 5s als/master
December 30, 2023 13:01 1m 5s
Updated target platform to Eclipse 2023-12 release
CI #234: Pull request #97 synchronize by a-sr
December 7, 2023 15:02 12m 13s nre/update-2023-09
December 7, 2023 15:02 12m 13s
Updated target platform to Eclipse 2023-12 release
CI #233: Pull request #97 opened by a-sr
December 7, 2023 15:02 2m 59s nre/update-2023-09
December 7, 2023 15:02 2m 59s
Dark theme support for diagrams
CI #232: Pull request #96 synchronize by a-sr
October 25, 2023 13:57 5m 35s als/dark
October 25, 2023 13:57 5m 35s
Merge pull request #94 from kieler/als/aarch64
CI #231: Commit 00765a4 pushed by a-sr
October 25, 2023 09:41 33m 7s master
October 25, 2023 09:41 33m 7s
Add Apple Silicon dedicated product builds
CI #230: Pull request #94 synchronize by a-sr
October 25, 2023 08:56 40m 1s als/aarch64
October 25, 2023 08:56 40m 1s
Merge pull request #92 from kieler/als/tests
CI #229: Commit 3582cfd pushed by a-sr
October 25, 2023 08:54 41m 27s master
October 25, 2023 08:54 41m 27s
Reactivation of CI tests
CI #228: Pull request #92 synchronize by a-sr
October 25, 2023 08:14 35m 30s als/tests
October 25, 2023 08:14 35m 30s
Reactivation of CI tests
CI #227: Pull request #92 synchronize by a-sr
October 25, 2023 07:30 35m 10s als/tests
October 25, 2023 07:30 35m 10s
Reactivation of CI tests
CI #226: Pull request #92 synchronize by a-sr
October 24, 2023 14:58 43m 24s als/tests
October 24, 2023 14:58 43m 24s
Dark theme support for diagrams
CI #225: Pull request #96 opened by a-sr
October 23, 2023 13:17 4m 21s als/dark
October 23, 2023 13:17 4m 21s