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

Updated gradle config to work with Gradle 8.5 Java CI with Gradle #89: Pull request #123 synchronize by HGinnerup
December 7, 2023 20:25 1m 58s HGinnerup:main
HGinnerup:main
December 7, 2023 20:25 1m 58s
Raw verification options Java CI with Gradle #87: Pull request #122 opened by mtygesen
December 5, 2023 17:31 1m 10s mtygesen:engine-switch-textarea
mtygesen:engine-switch-textarea
December 5, 2023 17:31 1m 10s
NPE Color semantics - fix 2045061 (#121) Java CI with Gradle #86: Commit 469421c pushed by srba
November 30, 2023 21:33 1m 9s main
main
November 30, 2023 21:33 1m 9s
NPE Color semantics - fix 2045061 Java CI with Gradle #85: Pull request #121 opened by mtygesen
November 30, 2023 21:01 1m 3s mtygesen:npe-color-semantics-2045061
mtygesen:npe-color-semantics-2045061
November 30, 2023 21:01 1m 3s
Missing error dialogs - fix 2044661 (#120) Java CI with Gradle #84: Commit c4360bd pushed by srba
November 27, 2023 20:43 1m 11s main
main
November 27, 2023 20:43 1m 11s
Wrong k-bound passed - fix 2044542 (#119) Java CI with Gradle #83: Commit 7170006 pushed by srba
November 27, 2023 20:05 1m 11s main
main
November 27, 2023 20:05 1m 11s
Missing error dialogs - fix 2044661 Java CI with Gradle #82: Pull request #120 opened by mtygesen
November 27, 2023 17:49 1m 19s mtygesen:missing-error-dialogs-2044661
mtygesen:missing-error-dialogs-2044661
November 27, 2023 17:49 1m 19s
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
ProTip! You can narrow down the results and go further in time using created:<2023-11-06 or the other filters available.