Skip to content

Actions: PySymGym/usvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add runner Build and Run Tests [gradle] #32: Pull request #15 opened by ancavar
December 4, 2024 15:59 28m 16s runner
runner
December 4, 2024 15:59 28m 16s
Add runner Build and Run Tests [gradle] #31: Commit 1aa2501 pushed by ancavar
December 4, 2024 15:55 29m 4s runner
runner
December 4, 2024 15:55 29m 4s
Add runner Build and Run Tests [gradle] #30: Commit 1ad20a3 pushed by ancavar
December 4, 2024 15:19 26m 50s runner
runner
December 4, 2024 15:19 26m 50s
Do not use solver for forks Build and Run Tests [gradle] #29: Commit ee948b2 pushed by gsvgit
December 3, 2024 06:14 25m 4s dev
dev
December 3, 2024 06:14 25m 4s
Do not use solver for forks Build and Run Tests [gradle] #28: Commit 10416c9 pushed by ancavar
October 31, 2024 18:33 25m 36s dev
dev
October 31, 2024 18:33 25m 36s
Fix logging Build and Run Tests [gradle] #27: Commit 2b84b3e pushed by Parzival-05
October 16, 2024 14:20 28m 25s dev
dev
October 16, 2024 14:20 28m 25s
Fix logs Build and Run Tests [gradle] #26: Pull request #14 opened by Parzival-05
October 16, 2024 14:20 27m 45s david/fix-log
david/fix-log
October 16, 2024 14:20 27m 45s
Fix logging Build and Run Tests [gradle] #25: Commit f15d7a1 pushed by Parzival-05
October 16, 2024 14:19 27m 46s david/fix-log
david/fix-log
October 16, 2024 14:19 27m 46s
Track last peeked state, tweak coverage (#13) Build and Run Tests [gradle] #24: Commit 0602050 pushed by ancavar
October 13, 2024 13:12 8m 51s dev
dev
October 13, 2024 13:12 8m 51s
Track last peeked state, tweak coverage Build and Run Tests [gradle] #23: Pull request #13 opened by ancavar
October 12, 2024 21:33 9m 47s fix
fix
October 12, 2024 21:33 9m 47s
Consider only initial method for coverage Build and Run Tests [gradle] #22: Commit 9000976 pushed by ancavar
October 12, 2024 21:25 2m 38s fix
fix
October 12, 2024 21:25 2m 38s
Round down percentage coverage Build and Run Tests [gradle] #21: Commit 4daf024 pushed by ancavar
October 12, 2024 18:49 29m 54s fix
fix
October 12, 2024 18:49 29m 54s
Round down percentage coverage Build and Run Tests [gradle] #20: Commit 8ec0e66 pushed by ancavar
October 12, 2024 16:55 17m 29s fix
fix
October 12, 2024 16:55 17m 29s
Refactoring and docs (#12) Build and Run Tests [gradle] #19: Commit 2bb956c pushed by ancavar
October 7, 2024 15:03 10m 24s dev
dev
October 7, 2024 15:03 10m 24s
Refactoring and docs Build and Run Tests [gradle] #18: Pull request #12 opened by ancavar
October 6, 2024 17:49 9m 32s refactor
refactor
October 6, 2024 17:49 9m 32s
Refactoring and docs Build and Run Tests [gradle] #17: Commit 6ab3e0d pushed by ancavar
October 6, 2024 16:31 25m 38s refactor
refactor
October 6, 2024 16:31 25m 38s
Remove timeout for solver Build and Run Tests [gradle] #16: Commit b459601 pushed by ancavar
September 25, 2024 10:02 22m 2s dev
dev
September 25, 2024 10:02 22m 2s
Incrementation of a game and DOT graph (#8) Build and Run Tests [gradle] #15: Commit 3788ff3 pushed by ancavar
September 25, 2024 09:35 22m 27s dev
dev
September 25, 2024 09:35 22m 27s
Incrementation of a game and DOT graph Build and Run Tests [gradle] #14: Pull request #8 opened by ancavar
September 25, 2024 09:35 24m 8s incr
incr
September 25, 2024 09:35 24m 8s
Minor refactoring Build and Run Tests [gradle] #13: Commit b1b42cb pushed by ancavar
September 25, 2024 00:01 11m 13s incr
incr
September 25, 2024 00:01 11m 13s
Add incrementation of a game Build and Run Tests [gradle] #12: Commit c8af9e6 pushed by ancavar
September 22, 2024 14:58 26m 20s incr
incr
September 22, 2024 14:58 26m 20s
Fix sequential path selector not switching between selectors Build and Run Tests [gradle] #11: Commit 43e74c9 pushed by ancavar
September 4, 2024 18:47 28m 34s dev
dev
September 4, 2024 18:47 28m 34s
Fix sequential path selector not switching between selectors Build and Run Tests [gradle] #10: Pull request #7 opened by ancavar
September 4, 2024 18:45 27m 1s fix-sequential-ps
fix-sequential-ps
September 4, 2024 18:45 27m 1s
Fix sequential path selector not switching between selectors Build and Run Tests [gradle] #9: Commit c6331e3 pushed by ancavar
September 4, 2024 18:17 26m 26s fix-sequential-ps
fix-sequential-ps
September 4, 2024 18:17 26m 26s
Change JDK to Zulu 11 Build and Run Tests [gradle] #8: Commit c886326 pushed by ancavar
August 25, 2024 04:24 27m 26s dev
dev
August 25, 2024 04:24 27m 26s