Skip to content

Actions: TAPAAL/tapaal-gui

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
289 workflow runs
289 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CPN traces Java CI with Gradle #619: Pull request #208 synchronize by mtygesen
1m 13s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 13s
CPN traces Java CI with Gradle #618: Pull request #208 synchronize by mtygesen
1m 12s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 12s
CPN traces Java CI with Gradle #617: Pull request #208 synchronize by mtygesen
1m 12s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 12s
CPN traces Java CI with Gradle #616: Pull request #208 synchronize by mtygesen
1m 9s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 9s
CPN traces Java CI with Gradle #615: Pull request #208 synchronize by mtygesen
1m 15s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 15s
CPN traces Java CI with Gradle #614: Pull request #208 synchronize by mtygesen
1m 3s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 3s
CPN traces Java CI with Gradle #613: Pull request #208 opened by mtygesen
1m 21s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 21s
SMC place/transition statistics (#207) Java CI with Gradle #612: Commit f8fb7e4 pushed by srba
1m 10s main
main
1m 10s
SMC place/transition statistics Java CI with Gradle #611: Pull request #207 synchronize by mtygesen
1m 12s mtygesen:smc-stats
mtygesen:smc-stats
1m 12s
Allow arcs between shared components Java CI with Gradle #610: Pull request #197 synchronize by mtygesen
1m 23s mtygesen:allow-arcs-between-shared-components
mtygesen:allow-arcs-between-shared-components
1m 23s
SMC place/transition statistics Java CI with Gradle #609: Pull request #207 opened by mtygesen
1m 16s mtygesen:smc-stats
mtygesen:smc-stats
1m 16s
Allow arcs between shared components Java CI with Gradle #608: Pull request #197 synchronize by mtygesen
1m 14s mtygesen:allow-arcs-between-shared-components
mtygesen:allow-arcs-between-shared-components
1m 14s
Allow arcs between shared components Java CI with Gradle #607: Pull request #197 synchronize by mtygesen
1m 12s mtygesen:allow-arcs-between-shared-components
mtygesen:allow-arcs-between-shared-components
1m 12s
SMC switches and raw verification output mismatch - fix 2107715 (#204) Java CI with Gradle #606: Commit f71b22c pushed by srba
1m 7s main
main
1m 7s
CPN Traces Java CI with Gradle #605: Pull request #206 opened by mtygesen
1m 10s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 10s
SMC switches and raw verification output mismatch - fix 2107715 Java CI with Gradle #604: Pull request #204 synchronize by mtygesen
1m 8s mtygesen:smc-raw-verification-2107715
mtygesen:smc-raw-verification-2107715
1m 8s
SMC switches and raw verification output mismatch - fix 2107715 Java CI with Gradle #603: Pull request #204 synchronize by mtygesen
1m 18s mtygesen:smc-raw-verification-2107715
mtygesen:smc-raw-verification-2107715
1m 18s
SMC switches and raw verification output mismatch - fix 2107715 Java CI with Gradle #602: Pull request #204 synchronize by mtygesen
1m 19s mtygesen:smc-raw-verification-2107715
mtygesen:smc-raw-verification-2107715
1m 19s
Added search bar in query dialog (#205) Java CI with Gradle #601: Commit 2cbaf35 pushed by srba
1m 11s main
main
1m 11s
Added search bar in query dialog Java CI with Gradle #600: Pull request #205 synchronize by mtygesen
1m 13s mtygesen:query-dialog-searchbar
mtygesen:query-dialog-searchbar
1m 13s
Searchbar navigation with arrow keys (#203) Java CI with Gradle #599: Commit df00e24 pushed by srba
1m 20s main
main
1m 20s
Searchbar navigation with arrow keys Java CI with Gradle #598: Pull request #203 synchronize by mtygesen
1m 19s mtygesen:searchbar-arrow-keys
mtygesen:searchbar-arrow-keys
1m 19s
Searchbar navigation with arrow keys Java CI with Gradle #597: Pull request #203 synchronize by mtygesen
1m 13s mtygesen:searchbar-arrow-keys
mtygesen:searchbar-arrow-keys
1m 13s
Searchbar navigation with arrow keys Java CI with Gradle #596: Pull request #203 synchronize by mtygesen
1m 24s mtygesen:searchbar-arrow-keys
mtygesen:searchbar-arrow-keys
1m 24s
Searchbar navigation with arrow keys Java CI with Gradle #595: Pull request #203 synchronize by mtygesen
1m 19s mtygesen:searchbar-arrow-keys
mtygesen:searchbar-arrow-keys
1m 19s