Skip to content

Actions: kieler/semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
137 workflow runs
137 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Various improvements and new features for OO and timed SCCharts CI #291: Pull request #64 synchronize by a-sr
July 25, 2024 17:17 14m 48s als/master
als/master
July 25, 2024 17:17 14m 48s
Various improvements and new features for OO and timed SCCharts CI #290: Pull request #64 synchronize by a-sr
July 25, 2024 16:36 15m 25s als/master
als/master
July 25, 2024 16:36 15m 25s
Various improvements and new features for OO and timed SCCharts CI #289: Pull request #64 synchronize by a-sr
July 23, 2024 13:55 12m 25s als/master
als/master
July 23, 2024 13:55 12m 25s
Various improvements and new features for OO and timed SCCharts CI #288: Pull request #64 synchronize by a-sr
July 23, 2024 12:21 18m 15s als/master
als/master
July 23, 2024 12:21 18m 15s
Merge pull request #117 from kieler/nre/align-jetty CI #287: Commit 8fe1c8f pushed by a-sr
May 27, 2024 07:31 44m 16s master
master
May 27, 2024 07:31 44m 16s
Aligned jetty dependencies with the kieler websocket mirror CI #286: Pull request #117 opened by NiklasRentzCAU
May 14, 2024 14:10 34m 15s nre/align-jetty
nre/align-jetty
May 14, 2024 14:10 34m 15s
Merge pull request #116 from kieler/als/release CI #285: Commit 78bc2a7 pushed by a-sr
May 8, 2024 12:20 35m 1s master
master
May 8, 2024 12:20 35m 1s
Release preparation for 1.5 CI #284: Pull request #116 opened by a-sr
May 8, 2024 09:06 33m 15s als/release
als/release
May 8, 2024 09:06 33m 15s
build: Configured release product CI #283: Commit 2b82980 pushed by a-sr
May 8, 2024 08:56 32m 59s release-1.5
release-1.5
May 8, 2024 08:56 32m 59s
Merge pull request #115 from kieler/nre/klighd302 CI #282: Commit aad73b5 pushed by a-sr
May 8, 2024 08:47 31m 57s master
master
May 8, 2024 08:47 31m 57s
update to maven-only KLighD patch release 3.0.2 CI #281: Pull request #115 opened by NiklasRentzCAU
May 7, 2024 16:22 33m 32s nre/klighd302
nre/klighd302
May 7, 2024 16:22 33m 32s
Merge pull request #114 from kieler/nre/ls-name CI #280: Commit 49c5a08 pushed by NiklasRentzCAU
May 7, 2024 15:11 35m 7s master
master
May 7, 2024 15:11 35m 7s
Rename Language Server Artifact to "kieler-language-server.jar" CI #279: Pull request #114 synchronize by NiklasRentzCAU
May 7, 2024 14:23 34m 41s nre/ls-name
nre/ls-name
May 7, 2024 14:23 34m 41s
Merge pull request #81 from kieler/nre/tik-merge2 CI #278: Commit 47410fc pushed by a-sr
May 7, 2024 14:20 35m 31s master
master
May 7, 2024 14:20 35m 31s
Rename Language Server Artifact to "kieler-language-server.jar" CI #277: Pull request #114 opened by NiklasRentzCAU
May 7, 2024 13:56 11m 51s nre/ls-name
nre/ls-name
May 7, 2024 13:56 11m 51s
Merge pull request #73 from kieler/sdo/interactiveMrTree CI #276: Commit b33a6b1 pushed by a-sr
May 7, 2024 10:51 34m 48s master
master
May 7, 2024 10:51 34m 48s
Merge pull request #113 from kieler/nre/singleparametercommunication CI #275: Commit 03c832a pushed by a-sr
May 7, 2024 10:48 34m 26s master
master
May 7, 2024 10:48 34m 26s
Adapt Communication to only use one Parameter. CI #274: Pull request #113 opened by NiklasRentzCAU
May 6, 2024 14:57 32m 32s nre/singleparametercommunication
nre/singleparametercommunication
May 6, 2024 14:57 32m 32s
Add MrTree LS extension and configuration. CI #273: Pull request #73 synchronize by NiklasRentzCAU
May 6, 2024 12:01 44m 10s sdo/interactiveMrTree
sdo/interactiveMrTree
May 6, 2024 12:01 44m 10s
Add MrTree LS extension and configuration. CI #272: Pull request #73 synchronize by NiklasRentzCAU
May 6, 2024 11:52 1m 6s sdo/interactiveMrTree
sdo/interactiveMrTree
May 6, 2024 11:52 1m 6s
Merge pull request #111 from kieler/mka/deprecated-actions CI #271: Commit dc1bce8 pushed by a-sr
May 6, 2024 11:36 39m 16s master
master
May 6, 2024 11:36 39m 16s
Proxy Views: SCCharts-specific renderings CI #270: Pull request #81 synchronize by Eddykasp
May 6, 2024 11:24 36m 41s nre/tik-merge2
nre/tik-merge2
May 6, 2024 11:24 36m 41s
Updated setup for keith and elk streams. CI #269: Pull request #112 opened by soerendomroes
April 26, 2024 18:13 43m 1s sdo/updateSetupFor2024-03
sdo/updateSetupFor2024-03
April 26, 2024 18:13 43m 1s