Skip to content

Actions: TAPAAL/tapaal-gui

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
CPN arc successor and predecessor issue - fix 2081357 (#180) Java CI with Gradle #454: Commit 509647c pushed by srba
1m 21s main
main
1m 21s
CPN arc successor and predecessor issue - fix 2081357 Java CI with Gradle #453: Pull request #180 opened by mtygesen
1m 23s cpn-arc-successor-edit-2081357
cpn-arc-successor-edit-2081357
1m 23s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #452: Pull request #179 synchronize by mtygesen
1m 25s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 25s
Erlang and gamma not working for larger shapes - fix 2081337 (#178) Java CI with Gradle #451: Commit 6eca457 pushed by srba
1m 32s main
main
1m 32s
Erlang and gamma not working for larger shapes - fix 2081337 Java CI with Gradle #450: Pull request #178 synchronize by mtygesen
1m 26s erlang-distribution-fix-2081337
erlang-distribution-fix-2081337
1m 26s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #449: Pull request #179 opened by mtygesen
1m 24s manual-edit-color-types-2081345
manual-edit-color-types-2081345
1m 24s
Erlang and gamma not working for larger shapes - fix 2081337 Java CI with Gradle #448: Pull request #178 opened by mtygesen
1m 27s erlang-distribution-fix-2081337
erlang-distribution-fix-2081337
1m 27s
UI bugs for SMC transitions (#177) Java CI with Gradle #447: Commit 9b6884a pushed by srba
1m 25s main
main
1m 25s
UI bugs for SMC transitions Java CI with Gradle #446: Pull request #177 synchronize by tand00
1m 38s tand00:main
tand00:main
1m 38s
UI bugs for SMC transitions Java CI with Gradle #445: Pull request #177 synchronize by tand00
1m 31s tand00:main
tand00:main
1m 31s
ProTip! You can narrow down the results and go further in time using created:<2024-09-23 or the other filters available.