Skip to content

Actions: nl-utwente-groove/code

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Performance improvement in edge rendering; gh #866 Java CI with Maven #257: Commit 2d8a6de pushed by rensink
1m 17s master
master
1m 17s
Repair in bounds calculation Java CI with Maven #256: Commit 61d9597 pushed by rensink
1m 27s master
master
1m 27s
Achieved a fairly convincing improvement in rendering time of the LTS by Java CI with Maven #255: Commit 531437a pushed by rensink
1m 2s master
master
1m 2s
Rather huge performance improvement in Simulator while exploring large Java CI with Maven #254: Commit eb8f570 pushed by rensink
1m 23s master
master
1m 23s
SF #864 Java CI with Maven #253: Commit 91b9ccb pushed by rensink
1m 11s master
master
1m 11s
Merge pull request #860 from timKraeuter/add_model_checker_jar Java CI with Maven #252: Commit 45c94cc pushed by rensink
1m 33s master
master
1m 33s
Improved interaction of selection & graying out of cells (sf #862) Java CI with Maven #251: Commit 3344369 pushed by rensink
1m 27s master
master
1m 27s
Solved regression bug Java CI with Maven #250: Commit 816f2d2 pushed by rensink
1m 42s master
master
1m 42s
StringDialog now selects first history entry if there is one Java CI with Maven #249: Commit ae70b28 pushed by rensink
1m 10s master
master
1m 10s
Reporting CTS witnesses rather than counterexamples Java CI with Maven #248: Commit b622f58 pushed by rensink
1m 13s master
master
1m 13s
Removed local variables in JEdgeView Java CI with Maven #247: Commit 3c7b61a pushed by rensink
1m 25s master
master
1m 25s
Added .idea files to versioning Java CI with Maven #246: Commit 396289a pushed by rensink
1m 25s master
master
1m 25s
Merge branch 'master' of [email protected]:nl-utwente-groove/code.git Java CI with Maven #245: Commit 863ad05 pushed by rensink
1m 11s master
master
1m 11s
Building release-7_4_3 after push of release tag Build release #39: Commit cdd04e6 pushed by rensink
1m 34s release-7_4_3
release-7_4_3
1m 34s
Preparing release 7.4.3 Java CI with Maven #244: Commit cdd04e6 pushed by rensink
1m 16s master
master
1m 16s
Merge branch 'master' of https://github.com/nl-utwente-groove/code.git Java CI with Maven #243: Commit d33c446 pushed by rensink
1m 14s master
master
1m 14s
Merge branch 'master' of https://github.com/nl-utwente-groove/code.git Java CI with Maven #242: Commit 8e3564c pushed by rensink
1m 10s master
master
1m 10s
Building release-7_4_2 after push of release tag Build release #38: Commit aac2908 pushed by rensink
1m 26s release-7_4_2
release-7_4_2
1m 26s
Preparing release 7.4.2 Java CI with Maven #241: Commit aac2908 pushed by rensink
1m 21s master
master
1m 21s
When GTS is exported as control program, result states are final Java CI with Maven #240: Commit 7dcff1f pushed by rensink
1m 7s master
master
1m 7s
Building release-7_4_1 after push of release tag Build release #37: Commit cec33f4 pushed by rensink
1m 42s release-7_4_1
release-7_4_1
1m 42s
Preparing release 7.4.1 Java CI with Maven #239: Commit cec33f4 pushed by rensink
1m 17s master
master
1m 17s
Resolved bug in exporting an LTL-generated LTS Java CI with Maven #238: Commit 8a968ac pushed by rensink
31s master
master
31s
Repaired regression bug in Show Trace to State action Java CI with Maven #237: Commit 851addb pushed by rensink
37s master
master
37s
Improvements in saving an LTS as .gcp Java CI with Maven #236: Commit 0f76675 pushed by rensink
42s master
master
42s