Skip to content

Actions: nl-utwente-groove/code

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
210 workflow runs
210 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' of git@github.com:nl-utwente-groove/code.git Java CI with Maven #245: Commit 863ad05 pushed by rensink
April 21, 2025 17:21 1m 11s master
master
April 21, 2025 17:21 1m 11s
Building release-7_4_3 after push of release tag Build release #39: Commit cdd04e6 pushed by rensink
April 21, 2025 12:59 1m 34s release-7_4_3
release-7_4_3
April 21, 2025 12:59 1m 34s
Preparing release 7.4.3 Java CI with Maven #244: Commit cdd04e6 pushed by rensink
April 21, 2025 12:58 1m 16s master
master
April 21, 2025 12:58 1m 16s
Merge branch 'master' of https://github.com/nl-utwente-groove/code.git Java CI with Maven #243: Commit d33c446 pushed by rensink
April 21, 2025 12:54 1m 14s master
master
April 21, 2025 12:54 1m 14s
Merge branch 'master' of https://github.com/nl-utwente-groove/code.git Java CI with Maven #242: Commit 8e3564c pushed by rensink
April 21, 2025 10:46 1m 10s master
master
April 21, 2025 10:46 1m 10s
Building release-7_4_2 after push of release tag Build release #38: Commit aac2908 pushed by rensink
April 20, 2025 10:12 1m 26s release-7_4_2
release-7_4_2
April 20, 2025 10:12 1m 26s
Preparing release 7.4.2 Java CI with Maven #241: Commit aac2908 pushed by rensink
April 20, 2025 10:11 1m 21s master
master
April 20, 2025 10:11 1m 21s
When GTS is exported as control program, result states are final Java CI with Maven #240: Commit 7dcff1f pushed by rensink
April 20, 2025 09:56 1m 7s master
master
April 20, 2025 09:56 1m 7s
Building release-7_4_1 after push of release tag Build release #37: Commit cec33f4 pushed by rensink
April 18, 2025 11:43 1m 42s release-7_4_1
release-7_4_1
April 18, 2025 11:43 1m 42s
Preparing release 7.4.1 Java CI with Maven #239: Commit cec33f4 pushed by rensink
April 18, 2025 11:42 1m 17s master
master
April 18, 2025 11:42 1m 17s
Resolved bug in exporting an LTL-generated LTS Java CI with Maven #238: Commit 8a968ac pushed by rensink
April 17, 2025 11:26 31s master
master
April 17, 2025 11:26 31s
Repaired regression bug in Show Trace to State action Java CI with Maven #237: Commit 851addb pushed by rensink
April 17, 2025 10:23 37s master
master
April 17, 2025 10:23 37s
Improvements in saving an LTS as .gcp Java CI with Maven #236: Commit 0f76675 pushed by rensink
April 17, 2025 09:25 42s master
master
April 17, 2025 09:25 42s
Transformer now accepts qualified start graph names Java CI with Maven #235: Commit 1e04363 pushed by rensink
April 16, 2025 18:41 1m 24s master
master
April 16, 2025 18:41 1m 24s
Regression error resolved Java CI with Maven #234: Commit 27c3f84 pushed by rensink
April 16, 2025 13:07 1m 14s master
master
April 16, 2025 13:07 1m 14s
Minor refactorings to better understand LTL counterexamples Java CI with Maven #233: Commit 0c28765 pushed by rensink
April 16, 2025 12:36 1m 2s master
master
April 16, 2025 12:36 1m 2s
Merge branch 'master' of https://github.com/nl-utwente-groove/code.git Java CI with Maven #232: Commit b601322 pushed by rensink
April 16, 2025 12:36 1m 30s master
master
April 16, 2025 12:36 1m 30s
Update README.md Java CI with Maven #231: Commit 15b98a3 pushed by rensink
April 15, 2025 20:15 1m 22s master
master
April 15, 2025 20:15 1m 22s
Merge branch 'master' of https://github.com/nl-utwente-groove/code.git Java CI with Maven #230: Commit 84d272a pushed by rensink
April 15, 2025 14:21 1m 11s master
master
April 15, 2025 14:21 1m 11s
Resolved gh #849 Java CI with Maven #229: Commit edb450a pushed by rensink
April 14, 2025 20:29 1m 21s master
master
April 14, 2025 20:29 1m 21s
Postprocessing of release 7.4.0 Java CI with Maven #228: Commit 0c4ee70 pushed by rensink
April 14, 2025 19:57 1m 20s master
master
April 14, 2025 19:57 1m 20s
Building release-7_4_0 after push of release tag Build release #36: Commit c713306 pushed by rensink
April 14, 2025 18:46 1m 28s release-7_4_0
release-7_4_0
April 14, 2025 18:46 1m 28s
Regression bug due to implementation of gh #845 Java CI with Maven #227: Commit c713306 pushed by rensink
April 14, 2025 18:43 1m 14s master
master
April 14, 2025 18:43 1m 14s
Building release-7_4_0 after push of release tag Build release #35: Commit e0da1ef pushed by rensink
April 14, 2025 18:04 1m 45s release-7_4_0
release-7_4_0
April 14, 2025 18:04 1m 45s
Preparing release 7.4.0 Java CI with Maven #226: Commit e0da1ef pushed by rensink
April 14, 2025 18:03 1m 20s master
master
April 14, 2025 18:03 1m 20s