Skip to content

Actions: TAPAAL/tapaal-gui

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
308 workflow runs
308 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Constants.java Java CI with Gradle #629: Commit 54016ac pushed by srba
1m 32s main
main
1m 32s
BestFS now enabled for all LTL queries - 2110479 Java CI with Gradle #628: Pull request #209 opened by mtygesen
2m 36s mtygesen:bestfs-ltl-2110479
mtygesen:bestfs-ltl-2110479
2m 36s
CPN traces Java CI with Gradle #627: Pull request #208 synchronize by mtygesen
1m 9s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 9s
CPN traces Java CI with Gradle #626: Pull request #208 synchronize by mtygesen
1m 10s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 10s
CPN traces Java CI with Gradle #625: Pull request #208 synchronize by mtygesen
1m 11s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 11s
CPN traces Java CI with Gradle #624: Pull request #208 synchronize by mtygesen
1m 11s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 11s
CPN traces Java CI with Gradle #623: Pull request #208 synchronize by mtygesen
1m 13s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 13s
CPN traces Java CI with Gradle #622: Pull request #208 synchronize by mtygesen
1m 21s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 21s
CPN traces Java CI with Gradle #621: Pull request #208 synchronize by mtygesen
1m 17s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 17s
CPN traces Java CI with Gradle #620: Pull request #208 synchronize by mtygesen
1m 14s mtygesen:cpn-traces
mtygesen:cpn-traces
1m 14s
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