Skip to content

Actions: TAPAAL/tapaal-gui

Actions

Java CI with Gradle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
376 workflow runs
376 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SMC observations Java CI with Gradle #492: Pull request #184 synchronize by mtygesen
January 7, 2025 15:01 1m 29s mtygesen:smc-observations
mtygesen:smc-observations
January 7, 2025 15:01 1m 29s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #491: Pull request #188 synchronize by mtygesen
January 6, 2025 13:54 1m 18s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 6, 2025 13:54 1m 18s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #490: Pull request #188 synchronize by mtygesen
January 5, 2025 15:57 1m 11s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 5, 2025 15:57 1m 11s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #489: Pull request #188 synchronize by mtygesen
January 4, 2025 17:23 1m 20s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 4, 2025 17:23 1m 20s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #488: Pull request #188 synchronize by mtygesen
January 4, 2025 01:25 1m 21s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 4, 2025 01:25 1m 21s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #487: Pull request #188 synchronize by mtygesen
January 4, 2025 01:24 1m 23s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 4, 2025 01:24 1m 23s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #486: Pull request #188 opened by mtygesen
January 3, 2025 17:28 1m 15s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 3, 2025 17:28 1m 15s
HyperLTL traces in simulator do not show - fix 2091501 (#187) Java CI with Gradle #485: Commit c9330c6 pushed by srba
December 29, 2024 22:33 3m 50s main
main
December 29, 2024 22:33 3m 50s
HyperLTL traces in simulator do not show - fix 2091501 Java CI with Gradle #484: Pull request #187 synchronize by mtygesen
December 29, 2024 21:54 1m 21s mtygesen:hyperltl-trace-fix-2091501
mtygesen:hyperltl-trace-fix-2091501
December 29, 2024 21:54 1m 21s
HyperLTL traces in simulator do not show - fix 2091501 Java CI with Gradle #483: Pull request #187 synchronize by mtygesen
December 28, 2024 14:37 1m 10s mtygesen:hyperltl-trace-fix-2091501
mtygesen:hyperltl-trace-fix-2091501
December 28, 2024 14:37 1m 10s
HyperLTL traces in simulator do not show - fix 2091501 Java CI with Gradle #482: Pull request #187 opened by mtygesen
December 28, 2024 14:33 3m 47s mtygesen:hyperltl-trace-fix-2091501
mtygesen:hyperltl-trace-fix-2091501
December 28, 2024 14:33 3m 47s
Fixed issue with hyperltl boundedness check - fix 2091500 (#186) Java CI with Gradle #481: Commit 85c31c1 pushed by srba
December 17, 2024 08:54 1m 13s main
main
December 17, 2024 08:54 1m 13s
Fixed issue with hyperltl boundedness check - fix 2091500 Java CI with Gradle #480: Pull request #186 opened by mtygesen
December 16, 2024 20:57 1m 20s mtygesen:boundedness-hyperltl-2091500
mtygesen:boundedness-hyperltl-2091500
December 16, 2024 20:57 1m 20s
Updated contributors in About menu Java CI with Gradle #479: Commit 75de22f pushed by srba
December 12, 2024 15:01 4m 4s main
main
December 12, 2024 15:01 4m 4s
Added guard for making smc queries when model has strict intervals - … Java CI with Gradle #478: Commit 2bbc648 pushed by srba
December 1, 2024 19:01 4m 5s main
main
December 1, 2024 19:01 4m 5s
SMC observations Java CI with Gradle #477: Pull request #184 synchronize by mtygesen
November 18, 2024 21:29 1m 22s mtygesen:smc-observations
mtygesen:smc-observations
November 18, 2024 21:29 1m 22s
Added guard for making smc queries when model has strict intervals - fix 2088434 Java CI with Gradle #476: Pull request #185 opened by mtygesen
November 18, 2024 16:22 4m 6s mtygesen:strict-intervals-smc-2088434
mtygesen:strict-intervals-smc-2088434
November 18, 2024 16:22 4m 6s
SMC observations Java CI with Gradle #475: Pull request #184 synchronize by mtygesen
November 18, 2024 15:25 1m 20s mtygesen:smc-observations
mtygesen:smc-observations
November 18, 2024 15:25 1m 20s
SMC observations Java CI with Gradle #474: Pull request #184 synchronize by mtygesen
November 18, 2024 14:50 1m 21s mtygesen:smc-observations
mtygesen:smc-observations
November 18, 2024 14:50 1m 21s
SMC observations Java CI with Gradle #473: Pull request #184 opened by mtygesen
November 18, 2024 14:47 4m 6s mtygesen:smc-observations
mtygesen:smc-observations
November 18, 2024 14:47 4m 6s
Manual arc expr error - fix 2085838 (#183) Java CI with Gradle #472: Commit fdfdaab pushed by srba
November 6, 2024 14:17 4m 5s main
main
November 6, 2024 14:17 4m 5s
Manual arc expr error - fix 2085838 Java CI with Gradle #471: Pull request #183 synchronize by mtygesen
November 5, 2024 21:21 1m 18s mtygesen:manual-arc-expr-error-2085838
mtygesen:manual-arc-expr-error-2085838
November 5, 2024 21:21 1m 18s
Manual arc expr error - fix 2085838 Java CI with Gradle #470: Pull request #183 opened by mtygesen
November 4, 2024 16:03 4m 4s mtygesen:manual-arc-expr-error-2085838
mtygesen:manual-arc-expr-error-2085838
November 4, 2024 16:03 4m 4s
Fixed space missing windows - fix 2084582 (#182) Java CI with Gradle #469: Commit 3f84132 pushed by srba
October 21, 2024 10:54 1m 20s main
main
October 21, 2024 10:54 1m 20s
Fixed space missing windows - fix 2084582 Java CI with Gradle #468: Pull request #182 opened by mtygesen
October 20, 2024 22:49 1m 17s mtygesen:missing-space-win-2084582
mtygesen:missing-space-win-2084582
October 20, 2024 22:49 1m 17s