Skip to content

Actions: TAPAAL/tapaal-gui

Actions

Java CI with Gradle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
378 workflow runs
378 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
SMC step bound in simulate is wrong - fix 2084485 (#181) Java CI with Gradle #467: Commit 0b8078a pushed by srba
October 17, 2024 07:33 1m 24s main
main
October 17, 2024 07:33 1m 24s
SMC step bound in simulate is wrong - fix 2084485 Java CI with Gradle #466: Pull request #181 opened by mtygesen
October 15, 2024 20:47 1m 25s mtygesen:smc-simulate-wrong-step-bound-2084485
mtygesen:smc-simulate-wrong-step-bound-2084485
October 15, 2024 20:47 1m 25s
Issues when using manual edit with color types - fix 2081345 (#179) Java CI with Gradle #465: Commit 657a6ad pushed by srba
October 10, 2024 15:08 1m 55s main
main
October 10, 2024 15:08 1m 55s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #464: Pull request #179 synchronize by mtygesen
October 3, 2024 16:15 1m 26s mtygesen:manual-edit-color-types-2081345
mtygesen:manual-edit-color-types-2081345
October 3, 2024 16:15 1m 26s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #463: Pull request #179 synchronize by mtygesen
October 3, 2024 13:43 1m 30s mtygesen:manual-edit-color-types-2081345
mtygesen:manual-edit-color-types-2081345
October 3, 2024 13:43 1m 30s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #462: Pull request #179 synchronize by mtygesen
October 2, 2024 14:15 1m 20s mtygesen:manual-edit-color-types-2081345
mtygesen:manual-edit-color-types-2081345
October 2, 2024 14:15 1m 20s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #461: Pull request #179 synchronize by mtygesen
October 1, 2024 19:14 1m 29s mtygesen:manual-edit-color-types-2081345
mtygesen:manual-edit-color-types-2081345
October 1, 2024 19:14 1m 29s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #460: Pull request #179 synchronize by mtygesen
October 1, 2024 19:11 1m 30s mtygesen:manual-edit-color-types-2081345
mtygesen:manual-edit-color-types-2081345
October 1, 2024 19:11 1m 30s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #459: Pull request #179 synchronize by mtygesen
September 30, 2024 20:11 1m 53s mtygesen:manual-edit-color-types-2081345
mtygesen:manual-edit-color-types-2081345
September 30, 2024 20:11 1m 53s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #458: Pull request #179 synchronize by mtygesen
September 30, 2024 19:50 1m 43s mtygesen:manual-edit-color-types-2081345
mtygesen:manual-edit-color-types-2081345
September 30, 2024 19:50 1m 43s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #457: Pull request #179 synchronize by mtygesen
September 30, 2024 19:47 1m 20s mtygesen:manual-edit-color-types-2081345
mtygesen:manual-edit-color-types-2081345
September 30, 2024 19:47 1m 20s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #456: Pull request #179 synchronize by mtygesen
September 30, 2024 13:51 1m 28s mtygesen:manual-edit-color-types-2081345
mtygesen:manual-edit-color-types-2081345
September 30, 2024 13:51 1m 28s