Skip to content

Actions: TAPAAL/tapaal-gui

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
309 workflow runs
309 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated contributors in About menu Java CI with Gradle #479: Commit 75de22f pushed by srba
4m 4s main
main
4m 4s
Added guard for making smc queries when model has strict intervals - … Java CI with Gradle #478: Commit 2bbc648 pushed by srba
4m 5s main
main
4m 5s
SMC observations Java CI with Gradle #477: Pull request #184 synchronize by mtygesen
1m 22s smc-observations
smc-observations
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
4m 6s strict-intervals-smc-2088434
strict-intervals-smc-2088434
4m 6s
SMC observations Java CI with Gradle #475: Pull request #184 synchronize by mtygesen
1m 20s smc-observations
smc-observations
1m 20s
SMC observations Java CI with Gradle #474: Pull request #184 synchronize by mtygesen
1m 21s smc-observations
smc-observations
1m 21s
SMC observations Java CI with Gradle #473: Pull request #184 opened by mtygesen
4m 6s smc-observations
smc-observations
4m 6s
Manual arc expr error - fix 2085838 (#183) Java CI with Gradle #472: Commit fdfdaab pushed by srba
4m 5s main
main
4m 5s
Manual arc expr error - fix 2085838 Java CI with Gradle #471: Pull request #183 synchronize by mtygesen
1m 18s manual-arc-expr-error-2085838
manual-arc-expr-error-2085838
1m 18s
Manual arc expr error - fix 2085838 Java CI with Gradle #470: Pull request #183 opened by mtygesen
4m 4s manual-arc-expr-error-2085838
manual-arc-expr-error-2085838
4m 4s
Fixed space missing windows - fix 2084582 (#182) Java CI with Gradle #469: Commit 3f84132 pushed by srba
1m 20s main
main
1m 20s
Fixed space missing windows - fix 2084582 Java CI with Gradle #468: Pull request #182 opened by mtygesen
1m 17s missing-space-win-2084582
missing-space-win-2084582
1m 17s
SMC step bound in simulate is wrong - fix 2084485 (#181) Java CI with Gradle #467: Commit 0b8078a pushed by srba
1m 24s main
main
1m 24s
SMC step bound in simulate is wrong - fix 2084485 Java CI with Gradle #466: Pull request #181 opened by mtygesen
1m 25s smc-simulate-wrong-step-bound-2084485
smc-simulate-wrong-step-bound-2084485
1m 25s
Issues when using manual edit with color types - fix 2081345 (#179) Java CI with Gradle #465: Commit 657a6ad pushed by srba
1m 55s main
main
1m 55s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #464: Pull request #179 synchronize by mtygesen
1m 26s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 26s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #463: Pull request #179 synchronize by mtygesen
1m 30s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 30s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #462: Pull request #179 synchronize by mtygesen
1m 20s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 20s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #461: Pull request #179 synchronize by mtygesen
1m 29s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 29s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #460: Pull request #179 synchronize by mtygesen
1m 30s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 30s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #459: Pull request #179 synchronize by mtygesen
1m 53s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 53s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #458: Pull request #179 synchronize by mtygesen
1m 43s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 43s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #457: Pull request #179 synchronize by mtygesen
1m 20s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 20s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #456: Pull request #179 synchronize by mtygesen
1m 28s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 28s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #455: Pull request #179 synchronize by mtygesen
1m 22s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 22s
ProTip! You can narrow down the results and go further in time using created:<2024-09-29 or the other filters available.