Skip to content

Actions: TAPAAL/tapaal-gui

Actions

Java CI with Gradle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
382 workflow runs
382 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wrong k-bound passed - fix 2044542 Java CI with Gradle #81: Pull request #119 opened by mtygesen
November 27, 2023 17:07 1m 3s mtygesen:wrong-k_bound-2044542
mtygesen:wrong-k_bound-2044542
November 27, 2023 17:07 1m 3s
Batch processing output - fix 2044415 (#118) Java CI with Gradle #80: Commit 9556417 pushed by srba
November 27, 2023 10:57 1m 7s main
main
November 27, 2023 10:57 1m 7s
Batch processing output - fix 2044415 Java CI with Gradle #79: Pull request #118 opened by mtygesen
November 26, 2023 22:25 1m 5s mtygesen:batch-processing-output-2044415
mtygesen:batch-processing-output-2044415
November 26, 2023 22:25 1m 5s
More descriptive unfold error - fix 2043616 (#117) Java CI with Gradle #78: Commit 5027ce4 pushed by srba
November 23, 2023 20:58 1m 31s main
main
November 23, 2023 20:58 1m 31s
More descriptive unfold error - fix 2043616 Java CI with Gradle #77: Pull request #117 synchronize by mtygesen
November 23, 2023 20:31 59s mtygesen:verifypn-unfold-fix-2043616
mtygesen:verifypn-unfold-fix-2043616
November 23, 2023 20:31 59s
More descriptive unfold error - fix 2043616 Java CI with Gradle #76: Pull request #117 opened by mtygesen
November 23, 2023 18:50 1m 43s mtygesen:verifypn-unfold-fix-2043616
mtygesen:verifypn-unfold-fix-2043616
November 23, 2023 18:50 1m 43s
Colored reduction fix - 2043334 (#116) Java CI with Gradle #75: Commit 52eec4c pushed by srba
November 14, 2023 21:10 1m 3s main
main
November 14, 2023 21:10 1m 3s
Colored reduction fix - 2043334 Java CI with Gradle #74: Pull request #116 opened by mtygesen
November 14, 2023 16:20 1m 11s mtygesen:colored-reduction-fix-2043334
mtygesen:colored-reduction-fix-2043334
November 14, 2023 16:20 1m 11s
Change of range in product - fix 2037066 (#115) Java CI with Gradle #73: Commit e515781 pushed by srba
November 11, 2023 20:26 2m 29s main
main
November 11, 2023 20:26 2m 29s
Change of range in product - fix 2037066 Java CI with Gradle #72: Pull request #115 synchronize by mtygesen
November 10, 2023 22:29 58s mtygesen:change-of-product-range-2037066
mtygesen:change-of-product-range-2037066
November 10, 2023 22:29 58s
Change of range in product - fix 2037066 Java CI with Gradle #71: Pull request #115 synchronize by mtygesen
November 10, 2023 22:19 1m 4s mtygesen:change-of-product-range-2037066
mtygesen:change-of-product-range-2037066
November 10, 2023 22:19 1m 4s
Change of range in product - fix 2037066 Java CI with Gradle #70: Pull request #115 synchronize by mtygesen
November 10, 2023 14:32 1m 6s mtygesen:change-of-product-range-2037066
mtygesen:change-of-product-range-2037066
November 10, 2023 14:32 1m 6s
Change of range in product - fix 2037066 Java CI with Gradle #69: Pull request #115 synchronize by mtygesen
November 8, 2023 18:02 1m 1s mtygesen:change-of-product-range-2037066
mtygesen:change-of-product-range-2037066
November 8, 2023 18:02 1m 1s
Change of range in product - fix 2037066 Java CI with Gradle #68: Pull request #115 synchronize by mtygesen
November 8, 2023 12:07 1m 21s mtygesen:change-of-product-range-2037066
mtygesen:change-of-product-range-2037066
November 8, 2023 12:07 1m 21s
Change of range in product - fix 2037066 Java CI with Gradle #67: Pull request #115 synchronize by mtygesen
November 7, 2023 16:58 1m 19s mtygesen:change-of-product-range-2037066
mtygesen:change-of-product-range-2037066
November 7, 2023 16:58 1m 19s
Change of range in product - fix 2037066 Java CI with Gradle #66: Pull request #115 synchronize by mtygesen
November 6, 2023 23:10 1m 31s mtygesen:change-of-product-range-2037066
mtygesen:change-of-product-range-2037066
November 6, 2023 23:10 1m 31s
Change of range in product - fix 2037066 Java CI with Gradle #65: Pull request #115 synchronize by mtygesen
November 6, 2023 17:14 1m 18s mtygesen:change-of-product-range-2037066
mtygesen:change-of-product-range-2037066
November 6, 2023 17:14 1m 18s
Change of range in product - fix 2037066 Java CI with Gradle #64: Pull request #115 synchronize by mtygesen
November 6, 2023 17:14 1m 50s mtygesen:change-of-product-range-2037066
mtygesen:change-of-product-range-2037066
November 6, 2023 17:14 1m 50s
Change of range in product - fix 2037066 Java CI with Gradle #63: Pull request #115 opened by mtygesen
November 6, 2023 17:13 1m 37s mtygesen:change-of-product-range-2037066
mtygesen:change-of-product-range-2037066
November 6, 2023 17:13 1m 37s
Broken history CPN - fix 2040246 (#113) Java CI with Gradle #62: Commit fc00f78 pushed by srba
October 25, 2023 20:36 1m 39s main
main
October 25, 2023 20:36 1m 39s
Broken history CPN - fix 2040246 Java CI with Gradle #61: Pull request #113 opened by mtygesen
October 25, 2023 16:32 1m 28s mtygesen:broken-history-cpn-2040246
mtygesen:broken-history-cpn-2040246
October 25, 2023 16:32 1m 28s
Initial markings disappearing - fix 2038418 (#112) Java CI with Gradle #60: Commit 997db7b pushed by srba
October 24, 2023 07:19 1m 24s main
main
October 24, 2023 07:19 1m 24s
Initial markings disappearing - fix 2038418 Java CI with Gradle #59: Pull request #112 opened by mtygesen
October 23, 2023 17:58 1m 38s mtygesen:initial-marking-disappear-2038418
mtygesen:initial-marking-disappear-2038418
October 23, 2023 17:58 1m 38s
CPN max tokens - fix 2037357 (#109) Java CI with Gradle #58: Commit bf7ddfe pushed by srba
October 22, 2023 17:50 1m 22s main
main
October 22, 2023 17:50 1m 22s
CPN max tokens - fix 2037357 Java CI with Gradle #57: Pull request #109 synchronize by mtygesen
October 22, 2023 16:10 1m 25s mtygesen:max-tokens-203735
mtygesen:max-tokens-203735
October 22, 2023 16:10 1m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-10-22 or the other filters available.