Skip to content

Actions: TAPAAL/tapaal-gui

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
376 workflow runs
376 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SMC observations Java CI with Gradle #505: Pull request #184 synchronize by mtygesen
January 21, 2025 21:17 1m 16s mtygesen:smc-observations
mtygesen:smc-observations
January 21, 2025 21:17 1m 16s
SMC observations Java CI with Gradle #504: Pull request #184 synchronize by mtygesen
January 21, 2025 01:30 1m 14s mtygesen:smc-observations
mtygesen:smc-observations
January 21, 2025 01:30 1m 14s
SMC observations Java CI with Gradle #503: Pull request #184 synchronize by mtygesen
January 16, 2025 16:06 1m 14s mtygesen:smc-observations
mtygesen:smc-observations
January 16, 2025 16:06 1m 14s
SMC observations Java CI with Gradle #502: Pull request #184 synchronize by mtygesen
January 16, 2025 16:02 1m 23s mtygesen:smc-observations
mtygesen:smc-observations
January 16, 2025 16:02 1m 23s
SMC observations Java CI with Gradle #501: Pull request #184 synchronize by mtygesen
January 15, 2025 19:24 1m 21s mtygesen:smc-observations
mtygesen:smc-observations
January 15, 2025 19:24 1m 21s
SMC observations Java CI with Gradle #500: Pull request #184 synchronize by mtygesen
January 14, 2025 22:36 1m 18s mtygesen:smc-observations
mtygesen:smc-observations
January 14, 2025 22:36 1m 18s
SMC observations Java CI with Gradle #499: Pull request #184 synchronize by mtygesen
January 14, 2025 17:03 1m 19s mtygesen:smc-observations
mtygesen:smc-observations
January 14, 2025 17:03 1m 19s
Trace export in simulator does not work - fix 2093091 (#189) Java CI with Gradle #498: Commit a8ffad6 pushed by srba
January 7, 2025 20:48 1m 14s main
main
January 7, 2025 20:48 1m 14s
Unintuitive parsing of arc expressions - fix 2092211 (#188) Java CI with Gradle #497: Commit c1b9bb6 pushed by srba
January 7, 2025 20:42 1m 16s main
main
January 7, 2025 20:42 1m 16s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #496: Pull request #188 synchronize by mtygesen
January 7, 2025 20:23 1m 19s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 7, 2025 20:23 1m 19s
Trace export in simulator does not work - fix 2093091 Java CI with Gradle #495: Pull request #189 opened by mtygesen
January 7, 2025 20:17 1m 16s mtygesen:trace-export-not-working-2093091
mtygesen:trace-export-not-working-2093091
January 7, 2025 20:17 1m 16s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #494: Pull request #188 synchronize by mtygesen
January 7, 2025 19:30 1m 14s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 7, 2025 19:30 1m 14s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #493: Pull request #188 synchronize by mtygesen
January 7, 2025 19:09 1m 16s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 7, 2025 19:09 1m 16s
SMC observations Java CI with Gradle #492: Pull request #184 synchronize by mtygesen
January 7, 2025 15:01 1m 29s mtygesen:smc-observations
mtygesen:smc-observations
January 7, 2025 15:01 1m 29s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #491: Pull request #188 synchronize by mtygesen
January 6, 2025 13:54 1m 18s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 6, 2025 13:54 1m 18s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #490: Pull request #188 synchronize by mtygesen
January 5, 2025 15:57 1m 11s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 5, 2025 15:57 1m 11s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #489: Pull request #188 synchronize by mtygesen
January 4, 2025 17:23 1m 20s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 4, 2025 17:23 1m 20s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #488: Pull request #188 synchronize by mtygesen
January 4, 2025 01:25 1m 21s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 4, 2025 01:25 1m 21s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #487: Pull request #188 synchronize by mtygesen
January 4, 2025 01:24 1m 23s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 4, 2025 01:24 1m 23s
Unintuitive parsing of arc expressions - fix 2092211 Java CI with Gradle #486: Pull request #188 opened by mtygesen
January 3, 2025 17:28 1m 15s mtygesen:unintuitive-arc-expr-parsing-2092211
mtygesen:unintuitive-arc-expr-parsing-2092211
January 3, 2025 17:28 1m 15s
HyperLTL traces in simulator do not show - fix 2091501 (#187) Java CI with Gradle #485: Commit c9330c6 pushed by srba
December 29, 2024 22:33 3m 50s main
main
December 29, 2024 22:33 3m 50s
HyperLTL traces in simulator do not show - fix 2091501 Java CI with Gradle #484: Pull request #187 synchronize by mtygesen
December 29, 2024 21:54 1m 21s mtygesen:hyperltl-trace-fix-2091501
mtygesen:hyperltl-trace-fix-2091501
December 29, 2024 21:54 1m 21s
HyperLTL traces in simulator do not show - fix 2091501 Java CI with Gradle #483: Pull request #187 synchronize by mtygesen
December 28, 2024 14:37 1m 10s mtygesen:hyperltl-trace-fix-2091501
mtygesen:hyperltl-trace-fix-2091501
December 28, 2024 14:37 1m 10s
HyperLTL traces in simulator do not show - fix 2091501 Java CI with Gradle #482: Pull request #187 opened by mtygesen
December 28, 2024 14:33 3m 47s mtygesen:hyperltl-trace-fix-2091501
mtygesen:hyperltl-trace-fix-2091501
December 28, 2024 14:33 3m 47s
Fixed issue with hyperltl boundedness check - fix 2091500 (#186) Java CI with Gradle #481: Commit 85c31c1 pushed by srba
December 17, 2024 08:54 1m 13s main
main
December 17, 2024 08:54 1m 13s