Skip to content

Actions: TAPAAL/tapaal-gui

Actions

Java CI with Gradle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
376 workflow runs
376 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Color bindings to simulation (#134) Java CI with Gradle #191: Commit 205a745 pushed by srba
February 9, 2024 14:35 1m 19s main
main
February 9, 2024 14:35 1m 19s
Wrong k-bound passed when using approximation with raw verification - fix 2052379 Java CI with Gradle #190: Pull request #135 synchronize by mtygesen
February 8, 2024 18:31 1m 35s mtygesen:wrong-k-bound-raw-verification
mtygesen:wrong-k-bound-raw-verification
February 8, 2024 18:31 1m 35s
Wrong k-bound passed when using approximation with raw verification - fix 2052379 Java CI with Gradle #189: Pull request #135 synchronize by mtygesen
February 7, 2024 22:58 1m 14s mtygesen:wrong-k-bound-raw-verification
mtygesen:wrong-k-bound-raw-verification
February 7, 2024 22:58 1m 14s
Color bindings to simulation Java CI with Gradle #188: Pull request #134 synchronize by mtygesen
February 6, 2024 19:58 1m 19s mtygesen:color-bindings
mtygesen:color-bindings
February 6, 2024 19:58 1m 19s
Color bindings to simulation Java CI with Gradle #187: Pull request #134 synchronize by mtygesen
February 6, 2024 18:08 1m 39s mtygesen:color-bindings
mtygesen:color-bindings
February 6, 2024 18:08 1m 39s
Wrong k-bound passed when using approximation with raw verification - fix 2052379 Java CI with Gradle #186: Pull request #135 synchronize by mtygesen
February 6, 2024 17:57 1m 16s mtygesen:wrong-k-bound-raw-verification
mtygesen:wrong-k-bound-raw-verification
February 6, 2024 17:57 1m 16s
Wrong k-bound passed when using approximation with raw verification - fix 2052379 Java CI with Gradle #185: Pull request #135 synchronize by mtygesen
February 6, 2024 17:56 1m 14s mtygesen:wrong-k-bound-raw-verification
mtygesen:wrong-k-bound-raw-verification
February 6, 2024 17:56 1m 14s
Wrong k-bound passed when using approximation with raw verification - fix 2052379 Java CI with Gradle #184: Pull request #135 synchronize by mtygesen
February 5, 2024 16:33 1m 24s mtygesen:wrong-k-bound-raw-verification
mtygesen:wrong-k-bound-raw-verification
February 5, 2024 16:33 1m 24s
hyperLTL manual parsing issue - fix 2051852 (#133) Java CI with Gradle #183: Commit 5dde6d7 pushed by srba
February 5, 2024 12:20 1m 13s main
main
February 5, 2024 12:20 1m 13s
Wrong k-bound passed when using approximation with raw verification - fix 2052379 Java CI with Gradle #182: Pull request #135 opened by mtygesen
February 4, 2024 13:33 1m 14s mtygesen:wrong-k-bound-raw-verification
mtygesen:wrong-k-bound-raw-verification
February 4, 2024 13:33 1m 14s
Color bindings to simulation Java CI with Gradle #181: Pull request #134 opened by mtygesen
February 1, 2024 17:43 1m 18s mtygesen:color-bindings
mtygesen:color-bindings
February 1, 2024 17:43 1m 18s
hyperLTL manual parsing issue - fix 2051852 Java CI with Gradle #180: Pull request #133 synchronize by mtygesen
February 1, 2024 14:19 1m 25s mtygesen:hyperltl-manual-parse-issue-2051852
mtygesen:hyperltl-manual-parse-issue-2051852
February 1, 2024 14:19 1m 25s
Raw options compute wrong k-bound - fix 2051167 (#132) Java CI with Gradle #179: Commit b416e08 pushed by srba
January 31, 2024 22:04 1m 17s main
main
January 31, 2024 22:04 1m 17s
hyperLTL manual parsing issue - fix 2051852 Java CI with Gradle #178: Pull request #133 opened by mtygesen
January 31, 2024 16:39 1m 20s mtygesen:hyperltl-manual-parse-issue-2051852
mtygesen:hyperltl-manual-parse-issue-2051852
January 31, 2024 16:39 1m 20s
Raw options compute wrong k-bound - fix 2051167 Java CI with Gradle #177: Pull request #132 opened by mtygesen
January 31, 2024 15:46 1m 23s mtygesen:wrong-k-bound-2051167
mtygesen:wrong-k-bound-2051167
January 31, 2024 15:46 1m 23s
Incorrect hyperltl trace - fix 2051165 (#131) Java CI with Gradle #176: Commit 025d57e pushed by srba
January 31, 2024 14:31 1m 28s main
main
January 31, 2024 14:31 1m 28s
Incorrect hyperltl trace - fix 2051165 Java CI with Gradle #175: Pull request #131 synchronize by mtygesen
January 31, 2024 14:14 1m 32s mtygesen:incorrect-trace-hyperltl-2051165
mtygesen:incorrect-trace-hyperltl-2051165
January 31, 2024 14:14 1m 32s
Raw verification options issues - fix 2046945 (#128) Java CI with Gradle #174: Commit c03ada8 pushed by srba
January 30, 2024 16:21 1m 19s main
main
January 30, 2024 16:21 1m 19s
Incorrect hyperltl trace - fix 2051165 Java CI with Gradle #173: Pull request #131 opened by mtygesen
January 30, 2024 16:01 1m 16s mtygesen:incorrect-trace-hyperltl-2051165
mtygesen:incorrect-trace-hyperltl-2051165
January 30, 2024 16:01 1m 16s
Raw verification options issues - fix 2046945 Java CI with Gradle #172: Pull request #128 synchronize by mtygesen
January 29, 2024 20:44 1m 16s mtygesen:raw-options-issues-2046945
mtygesen:raw-options-issues-2046945
January 29, 2024 20:44 1m 16s
Raw verification options issues - fix 2046945 Java CI with Gradle #171: Pull request #128 synchronize by mtygesen
January 29, 2024 20:42 1m 18s mtygesen:raw-options-issues-2046945
mtygesen:raw-options-issues-2046945
January 29, 2024 20:42 1m 18s
Raw verification options issues - fix 2046945 Java CI with Gradle #170: Pull request #128 synchronize by mtygesen
January 28, 2024 20:10 1m 13s mtygesen:raw-options-issues-2046945
mtygesen:raw-options-issues-2046945
January 28, 2024 20:10 1m 13s
Raw verification options issues - fix 2046945 Java CI with Gradle #169: Pull request #128 synchronize by mtygesen
January 28, 2024 19:32 1m 21s mtygesen:raw-options-issues-2046945
mtygesen:raw-options-issues-2046945
January 28, 2024 19:32 1m 21s
Raw verification options issues - fix 2046945 Java CI with Gradle #168: Pull request #128 synchronize by mtygesen
January 28, 2024 19:25 1m 20s mtygesen:raw-options-issues-2046945
mtygesen:raw-options-issues-2046945
January 28, 2024 19:25 1m 20s
Raw verification options issues - fix 2046945 Java CI with Gradle #167: Pull request #128 synchronize by mtygesen
January 28, 2024 01:38 1m 18s mtygesen:raw-options-issues-2046945
mtygesen:raw-options-issues-2046945
January 28, 2024 01:38 1m 18s
ProTip! You can narrow down the results and go further in time using created:<2024-01-28 or the other filters available.