Skip to content

Actions: RipplB/theta

Actions

Linux build-test-deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-build-test-deploy.yml
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Try with prime foldin Linux build-test-deploy #55: Commit 2cdce3f pushed by RipplB
October 27, 2023 14:50 10m 59s tdk
tdk
October 27, 2023 14:50 10m 59s
Log failed unfold Linux build-test-deploy #54: Commit f7de6eb pushed by RipplB
October 27, 2023 14:22 10m 13s tdk
tdk
October 27, 2023 14:22 10m 13s
fix benchmark printings Linux build-test-deploy #53: Commit 186aab4 pushed by RipplB
October 27, 2023 13:34 10m 52s tdk
tdk
October 27, 2023 13:34 10m 52s
Temporarily removed waitlist test Linux build-test-deploy #52: Commit cbaf437 pushed by mondokm
October 27, 2023 12:18 11m 28s tdk
tdk
October 27, 2023 12:18 11m 28s
Replaced --ltl switch with algorithm switch Linux build-test-deploy #51: Commit b90a989 pushed by mondokm
October 27, 2023 11:59 11m 58s tdk
tdk
October 27, 2023 11:59 11m 58s
ready for benchmark Linux build-test-deploy #50: Commit 093e5e3 pushed by RipplB
October 26, 2023 21:38 11m 19s tdk
tdk
October 26, 2023 21:38 11m 19s
enum things Linux build-test-deploy #49: Commit c1c0d8e pushed by RipplB
October 26, 2023 17:49 12m 59s tdk
tdk
October 26, 2023 17:49 12m 59s
ton of changes Linux build-test-deploy #48: Commit 5ae2e10 pushed by RipplB
October 24, 2023 15:07 11m 13s tdk
tdk
October 24, 2023 15:07 11m 13s
Correct domain size Linux build-test-deploy #47: Commit 34b7f87 pushed by RipplB
October 12, 2023 19:00 10m 14s enumtype
enumtype
October 12, 2023 19:00 10m 14s
Fix negative check disallowed infinity creation Linux build-test-deploy #46: Commit d69d52b pushed by RipplB
October 8, 2023 17:16 9m 7s enumtype
enumtype
October 8, 2023 17:16 9m 7s
Make z3 use unified enum literal name transformation Linux build-test-deploy #45: Commit 0aa36d3 pushed by RipplB
October 5, 2023 19:34 13m 39s enumtype
enumtype
October 5, 2023 19:34 13m 39s
Fix domain size calculations Linux build-test-deploy #44: Commit a315e11 pushed by RipplB
October 5, 2023 16:39 9m 56s enumtype
enumtype
October 5, 2023 16:39 9m 56s
Remove xsts type layer from above native types Linux build-test-deploy #43: Commit 5dec907 pushed by RipplB
October 2, 2023 14:42 10m 47s enumtype
enumtype
October 2, 2023 14:42 10m 47s
Adjust tests to enums Linux build-test-deploy #42: Commit e757a60 pushed by RipplB
October 1, 2023 18:14 11m 56s enumtype
enumtype
October 1, 2023 18:14 11m 56s
Introduce EnumType, have Z3 support and XSTS use it - copyright headers Linux build-test-deploy #41: Commit cea0e29 pushed by RipplB
October 1, 2023 13:19 9m 22s enumtype
enumtype
October 1, 2023 13:19 9m 22s
Introduce EnumType, have Z3 support and XSTS use it Linux build-test-deploy #40: Commit 032857a pushed by RipplB
October 1, 2023 13:13 9m 27s enumtype
enumtype
October 1, 2023 13:13 9m 27s
Introduce EnumType, have Z3 support and XSTS use it Linux build-test-deploy #39: Commit 617a03f pushed by RipplB
October 1, 2023 13:03 9m 24s enumtype
enumtype
October 1, 2023 13:03 9m 24s