Skip to content

Actions: TAPAAL/tapaal-gui

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
313 workflow runs
313 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
UI bugs for SMC transitions Java CI with Gradle #444: Pull request #177 synchronize by tand00
1m 23s tand00:main
tand00:main
1m 23s
UI bugs for SMC transitions Java CI with Gradle #443: Pull request #177 opened by tand00
1m 29s tand00:main
tand00:main
1m 29s
Updated the "About" page (#176) Java CI with Gradle #442: Commit 28b5790 pushed by srba
1m 26s main
main
1m 26s
Updated the "About" page Java CI with Gradle #441: Pull request #176 synchronize by tand00
1m 16s tand00:main
tand00:main
1m 16s
Updated the "About" page Java CI with Gradle #440: Pull request #176 synchronize by tand00
1m 23s tand00:main
tand00:main
1m 23s
Updated the "About" page Java CI with Gradle #439: Pull request #176 synchronize by tand00
1m 26s tand00:main
tand00:main
1m 26s
Updated the "About" page Java CI with Gradle #438: Pull request #176 synchronize by tand00
1m 19s tand00:main
tand00:main
1m 19s
Updated the "About" page Java CI with Gradle #437: Pull request #176 synchronize by tand00
1m 23s tand00:main
tand00:main
1m 23s
Updated the "About" page Java CI with Gradle #436: Pull request #176 opened by tand00
1m 29s tand00:main
tand00:main
1m 29s
Multi-core is enabled by default for SMC (#175) Java CI with Gradle #435: Commit 2ad8c7b pushed by srba
1m 22s main
main
1m 22s
Multi-core is enabled by default for SMC Java CI with Gradle #434: Pull request #175 opened by tand00
1m 21s tand00:main
tand00:main
1m 21s
SMC features for discrete verification (#150) Java CI with Gradle #433: Commit 31d53e1 pushed by srba
3m 51s main
main
3m 51s
SMC features for discrete verification Java CI with Gradle #432: Pull request #150 synchronize by tand00
1m 35s tand00:main
tand00:main
1m 35s
Fixed glitched places having a .all initial marking (#173) Java CI with Gradle #431: Commit 0dbf5c4 pushed by srba
1m 24s main
main
1m 24s
Fixed glitched places having a .all initial marking Java CI with Gradle #426: Pull request #173 synchronize by tand00
1m 29s tand00:colors-all-fix
tand00:colors-all-fix
1m 29s
ProTip! You can narrow down the results and go further in time using created:<2024-09-17 or the other filters available.