Skip to content

Actions: nl-utwente-groove/code

Actions

Java CI with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven.yml
177 workflow runs
177 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
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
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
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
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
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
DisabledRules key removed Java CI with Maven #225: Commit f0bb121 pushed by rensink
April 14, 2025 17:55 1m 16s master
master
April 14, 2025 17:55 1m 16s
Resolved two bugs in export of LTS as .gts and to .tikz Java CI with Maven #224: Commit 751915d pushed by rensink
April 14, 2025 13:04 1m 23s master
master
April 14, 2025 13:04 1m 23s
Selection now scrolls to a selected graph element, and F3 to the next Java CI with Maven #223: Commit 5c31edf pushed by rensink
April 10, 2025 19:47 1m 10s master
master
April 10, 2025 19:47 1m 10s
Added ruleEnabling system property (to replace disabledRules) Java CI with Maven #222: Commit fc15b9d pushed by rensink
April 9, 2025 21:41 1m 15s master
master
April 9, 2025 21:41 1m 15s
Reset debug flag to false Java CI with Maven #221: Commit 5525c87 pushed by rensink
April 9, 2025 19:08 1m 21s master
master
April 9, 2025 19:08 1m 21s