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

UI bugs for SMC transitions (#177)
Java CI with Gradle #447: Commit 9b6884a pushed by srba
1m 25s main
UI bugs for SMC transitions
Java CI with Gradle #446: Pull request #177 synchronize by tand00
1m 38s tand00:main
UI bugs for SMC transitions
Java CI with Gradle #445: Pull request #177 synchronize by tand00
1m 31s tand00:main
UI bugs for SMC transitions
Java CI with Gradle #444: Pull request #177 synchronize by tand00
1m 23s tand00:main
UI bugs for SMC transitions
Java CI with Gradle #443: Pull request #177 opened by tand00
1m 29s tand00:main
Updated the "About" page (#176)
Java CI with Gradle #442: Commit 28b5790 pushed by srba
1m 26s main
Updated the "About" page
Java CI with Gradle #441: Pull request #176 synchronize by tand00
1m 16s tand00:main
Updated the "About" page
Java CI with Gradle #440: Pull request #176 synchronize by tand00
1m 23s tand00:main
Updated the "About" page
Java CI with Gradle #439: Pull request #176 synchronize by tand00
1m 26s tand00:main
Updated the "About" page
Java CI with Gradle #438: Pull request #176 synchronize by tand00
1m 19s tand00:main
Updated the "About" page
Java CI with Gradle #437: Pull request #176 synchronize by tand00
1m 23s tand00:main
Updated the "About" page
Java CI with Gradle #436: Pull request #176 opened by tand00
1m 29s tand00:main
Multi-core is enabled by default for SMC (#175)
Java CI with Gradle #435: Commit 2ad8c7b pushed by srba
1m 22s main
SMC features for discrete verification (#150)
Java CI with Gradle #433: Commit 31d53e1 pushed by srba
3m 51s main
SMC features for discrete verification
Java CI with Gradle #432: Pull request #150 synchronize by tand00
1m 35s tand00:main
ProTip! You can narrow down the results and go further in time using created:<2024-09-17 or the other filters available.