Skip to content

Actions: TAPAAL/tapaal-gui

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
373 workflow runs
373 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 #452: Pull request #179 synchronize by mtygesen
September 27, 2024 13:59 1m 25s mtygesen:manual-edit-color-types-2081345
mtygesen:manual-edit-color-types-2081345
September 27, 2024 13:59 1m 25s
Erlang and gamma not working for larger shapes - fix 2081337 (#178) Java CI with Gradle #451: Commit 6eca457 pushed by srba
September 23, 2024 19:56 1m 32s main
main
September 23, 2024 19:56 1m 32s
Erlang and gamma not working for larger shapes - fix 2081337 Java CI with Gradle #450: Pull request #178 synchronize by mtygesen
September 23, 2024 19:41 1m 26s mtygesen:erlang-distribution-fix-2081337
mtygesen:erlang-distribution-fix-2081337
September 23, 2024 19:41 1m 26s
Issues when using manual edit with color types - fix 2081345 Java CI with Gradle #449: Pull request #179 opened by mtygesen
September 23, 2024 18:12 1m 24s mtygesen:manual-edit-color-types-2081345
mtygesen:manual-edit-color-types-2081345
September 23, 2024 18:12 1m 24s
Erlang and gamma not working for larger shapes - fix 2081337 Java CI with Gradle #448: Pull request #178 opened by mtygesen
September 23, 2024 16:59 1m 27s mtygesen:erlang-distribution-fix-2081337
mtygesen:erlang-distribution-fix-2081337
September 23, 2024 16:59 1m 27s
UI bugs for SMC transitions (#177) Java CI with Gradle #447: Commit 9b6884a pushed by srba
September 23, 2024 14:35 1m 25s main
main
September 23, 2024 14:35 1m 25s
UI bugs for SMC transitions Java CI with Gradle #446: Pull request #177 synchronize by tand00
September 23, 2024 12:14 1m 38s tand00:main
tand00:main
September 23, 2024 12:14 1m 38s
UI bugs for SMC transitions Java CI with Gradle #445: Pull request #177 synchronize by tand00
September 23, 2024 12:11 1m 31s tand00:main
tand00:main
September 23, 2024 12:11 1m 31s
UI bugs for SMC transitions Java CI with Gradle #444: Pull request #177 synchronize by tand00
September 23, 2024 08:28 1m 23s tand00:main
tand00:main
September 23, 2024 08:28 1m 23s
UI bugs for SMC transitions Java CI with Gradle #443: Pull request #177 opened by tand00
September 23, 2024 07:11 1m 29s tand00:main
tand00:main
September 23, 2024 07:11 1m 29s
Updated the "About" page (#176) Java CI with Gradle #442: Commit 28b5790 pushed by srba
September 19, 2024 15:15 1m 26s main
main
September 19, 2024 15:15 1m 26s
Updated the "About" page Java CI with Gradle #441: Pull request #176 synchronize by tand00
September 18, 2024 09:47 1m 16s tand00:main
tand00:main
September 18, 2024 09:47 1m 16s
Updated the "About" page Java CI with Gradle #440: Pull request #176 synchronize by tand00
September 18, 2024 09:20 1m 23s tand00:main
tand00:main
September 18, 2024 09:20 1m 23s
Updated the "About" page Java CI with Gradle #439: Pull request #176 synchronize by tand00
September 18, 2024 06:51 1m 26s tand00:main
tand00:main
September 18, 2024 06:51 1m 26s
Updated the "About" page Java CI with Gradle #438: Pull request #176 synchronize by tand00
September 17, 2024 20:42 1m 19s tand00:main
tand00:main
September 17, 2024 20:42 1m 19s
Updated the "About" page Java CI with Gradle #437: Pull request #176 synchronize by tand00
September 17, 2024 20:16 1m 23s tand00:main
tand00:main
September 17, 2024 20:16 1m 23s
Updated the "About" page Java CI with Gradle #436: Pull request #176 opened by tand00
September 17, 2024 20:15 1m 29s tand00:main
tand00:main
September 17, 2024 20:15 1m 29s
Multi-core is enabled by default for SMC (#175) Java CI with Gradle #435: Commit 2ad8c7b pushed by srba
September 17, 2024 17:59 1m 22s main
main
September 17, 2024 17:59 1m 22s
Multi-core is enabled by default for SMC Java CI with Gradle #434: Pull request #175 opened by tand00
September 17, 2024 14:56 1m 21s tand00:main
tand00:main
September 17, 2024 14:56 1m 21s
SMC features for discrete verification (#150) Java CI with Gradle #433: Commit 31d53e1 pushed by srba
September 17, 2024 13:26 3m 51s main
main
September 17, 2024 13:26 3m 51s
SMC features for discrete verification Java CI with Gradle #432: Pull request #150 synchronize by tand00
September 17, 2024 13:24 1m 35s tand00:main
tand00:main
September 17, 2024 13:24 1m 35s
Fixed glitched places having a .all initial marking (#173) Java CI with Gradle #431: Commit 0dbf5c4 pushed by srba
September 17, 2024 13:24 1m 24s main
main
September 17, 2024 13:24 1m 24s
Fixed glitched places having a .all initial marking Java CI with Gradle #426: Pull request #173 synchronize by tand00
September 17, 2024 08:48 1m 29s tand00:colors-all-fix
tand00:colors-all-fix
September 17, 2024 08:48 1m 29s
Fixed glitched places having a .all initial marking Java CI with Gradle #424: Pull request #173 synchronize by tand00
September 17, 2024 08:37 1m 25s tand00:colors-all-fix
tand00:colors-all-fix
September 17, 2024 08:37 1m 25s
Invalid cast guard dialog - fix 2080865 (#174) Java CI with Gradle #422: Commit d067c76 pushed by srba
September 16, 2024 19:21 1m 24s main
main
September 16, 2024 19:21 1m 24s