Skip to content

Actions: TAPAAL/tapaal-gui

Actions

Java CI with Gradle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
377 workflow runs
377 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SMC features for discrete verification Java CI with Gradle #242: Pull request #150 opened by tand00
May 7, 2024 11:25 1m 15s tand00:main
tand00:main
May 7, 2024 11:25 1m 15s
Overapproximation with batchprocessing using verifytapn - fix 2061903… Java CI with Gradle #241: Commit 0edcdf9 pushed by srba
May 2, 2024 11:18 1m 18s main
main
May 2, 2024 11:18 1m 18s
Wrong trace workflow analysis - fix 2035755 Java CI with Gradle #240: Pull request #148 synchronize by mtygesen
April 30, 2024 20:51 1m 14s mtygesen:wrong-trace-workflow-analysis-2035755
mtygesen:wrong-trace-workflow-analysis-2035755
April 30, 2024 20:51 1m 14s
Wrong trace workflow analysis - fix 2035755 Java CI with Gradle #239: Pull request #148 opened by mtygesen
April 30, 2024 20:49 1m 14s mtygesen:wrong-trace-workflow-analysis-2035755
mtygesen:wrong-trace-workflow-analysis-2035755
April 30, 2024 20:49 1m 14s
Overapproximation with batchprocessing using verifytapn - fix 2061903 Java CI with Gradle #238: Pull request #147 synchronize by mtygesen
April 26, 2024 12:08 1m 13s mtygesen:overapprox-batch-processing-verifytapn-2061903
mtygesen:overapprox-batch-processing-verifytapn-2061903
April 26, 2024 12:08 1m 13s
Overapproximation with batchprocessing using verifytapn - fix 2061903 Java CI with Gradle #237: Pull request #147 opened by mtygesen
April 26, 2024 12:01 1m 21s mtygesen:overapprox-batch-processing-verifytapn-2061903
mtygesen:overapprox-batch-processing-verifytapn-2061903
April 26, 2024 12:01 1m 21s
Enabled approximation for CPNs Java CI with Gradle #236: Pull request #143 synchronize by mtygesen
April 22, 2024 19:47 1m 14s mtygesen:enable-approximation-cpn-2057970
mtygesen:enable-approximation-cpn-2057970
April 22, 2024 19:47 1m 14s
Batch processing out of bounds exception - fix 2061904 (#145) Java CI with Gradle #235: Commit 96dc020 pushed by srba
April 19, 2024 09:35 1m 17s main
main
April 19, 2024 09:35 1m 17s
Constants not blinking - fix 1895130 (#146) Java CI with Gradle #234: Commit e8237bf pushed by srba
April 19, 2024 09:27 1m 15s main
main
April 19, 2024 09:27 1m 15s
Constants not blinking - fix 1895130 Java CI with Gradle #233: Pull request #146 opened by mtygesen
April 18, 2024 15:50 1m 24s mtygesen:constant-weight-blink-1895130
mtygesen:constant-weight-blink-1895130
April 18, 2024 15:50 1m 24s
Batch processing out of bounds exception - fix 2061904 Java CI with Gradle #232: Pull request #145 opened by mtygesen
April 18, 2024 14:55 1m 22s mtygesen:batch-processing-out-of-bounds-2061904
mtygesen:batch-processing-out-of-bounds-2061904
April 18, 2024 14:55 1m 22s
Enabled approximation for CPNs Java CI with Gradle #231: Pull request #143 synchronize by mtygesen
April 16, 2024 18:51 1m 19s mtygesen:enable-approximation-cpn-2057970
mtygesen:enable-approximation-cpn-2057970
April 16, 2024 18:51 1m 19s
Enabled approximation for CPNs Java CI with Gradle #230: Pull request #143 synchronize by mtygesen
April 16, 2024 18:50 1m 28s mtygesen:enable-approximation-cpn-2057970
mtygesen:enable-approximation-cpn-2057970
April 16, 2024 18:50 1m 28s
Slow loading of CPN - fix 2033062 (#144) Java CI with Gradle #229: Commit 1f687ce pushed by srba
April 16, 2024 15:15 1m 50s main
main
April 16, 2024 15:15 1m 50s
Slow loading of CPN - fix 2033062 Java CI with Gradle #228: Pull request #144 synchronize by mtygesen
April 16, 2024 14:57 1m 26s mtygesen:improve-slow-loading-cpn
mtygesen:improve-slow-loading-cpn
April 16, 2024 14:57 1m 26s
Enabled approximation for CPNs Java CI with Gradle #227: Pull request #143 synchronize by mtygesen
April 9, 2024 17:28 1m 12s mtygesen:enable-approximation-cpn-2057970
mtygesen:enable-approximation-cpn-2057970
April 9, 2024 17:28 1m 12s
Slow loading of CPN - fix 2033062 Java CI with Gradle #226: Pull request #144 opened by mtygesen
April 9, 2024 17:25 1m 55s mtygesen:improve-slow-loading-cpn
mtygesen:improve-slow-loading-cpn
April 9, 2024 17:25 1m 55s
Enabled approximation for CPNs Java CI with Gradle #225: Pull request #143 synchronize by mtygesen
April 4, 2024 16:50 1m 17s mtygesen:enable-approximation-cpn-2057970
mtygesen:enable-approximation-cpn-2057970
April 4, 2024 16:50 1m 17s
Enabled approximation for CPNs Java CI with Gradle #224: Pull request #143 synchronize by mtygesen
March 29, 2024 14:35 1m 19s mtygesen:enable-approximation-cpn-2057970
mtygesen:enable-approximation-cpn-2057970
March 29, 2024 14:35 1m 19s
Enabled approximation for CPNs Java CI with Gradle #223: Pull request #143 opened by mtygesen
March 27, 2024 16:42 1m 54s mtygesen:enable-approximation-cpn-2057970
mtygesen:enable-approximation-cpn-2057970
March 27, 2024 16:42 1m 54s
GUI passing paths with whitespace - fix 2056063 (#142) Java CI with Gradle #222: Commit ec34569 pushed by srba
March 14, 2024 14:26 1m 26s main
main
March 14, 2024 14:26 1m 26s
GUI passing paths with whitespace - fix 2056063 Java CI with Gradle #221: Pull request #142 synchronize by mtygesen
March 11, 2024 15:56 1m 22s mtygesen:gui-passing-ws-2056063
mtygesen:gui-passing-ws-2056063
March 11, 2024 15:56 1m 22s
GUI passing paths with whitespace - fix 2056063 Java CI with Gradle #220: Pull request #142 synchronize by mtygesen
March 9, 2024 15:32 1m 15s mtygesen:gui-passing-ws-2056063
mtygesen:gui-passing-ws-2056063
March 9, 2024 15:32 1m 15s
GUI passing paths with whitespace - fix 2056063 Java CI with Gradle #219: Pull request #142 synchronize by mtygesen
March 9, 2024 15:28 1m 29s mtygesen:gui-passing-ws-2056063
mtygesen:gui-passing-ws-2056063
March 9, 2024 15:28 1m 29s
GUI passing paths with whitespace - fix 2056063 Java CI with Gradle #218: Pull request #142 synchronize by mtygesen
March 9, 2024 15:16 1m 27s mtygesen:gui-passing-ws-2056063
mtygesen:gui-passing-ws-2056063
March 9, 2024 15:16 1m 27s