Skip to content

Actions: semiexp/cspuz_core

Actions

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
548 workflow runs
548 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
add test for ClauseSet (#246) Run tests #740: Commit 2f71a5f pushed by semiexp
2m 22s main
main
2m 22s
add test for ClauseSet Run tests #739: Pull request #246 opened by semiexp
2m 13s test-clause-set
test-clause-set
2m 13s
Run tests Run tests #738: Scheduled
2m 20s main
main
2m 20s
Add solver for fillmat (#228) Run tests #737: Commit 3667cbf pushed by semiexp
2m 21s main
main
2m 21s
Add solver for fillmat Run tests #736: Pull request #228 synchronize by ReverM
2m 30s ReverM:fillmat
ReverM:fillmat
2m 30s
Added nuriloop (#235) Run tests #735: Commit 1c9037a pushed by semiexp
2m 33s main
main
2m 33s
Added disconnection (#229) Run tests #734: Commit 0d76a01 pushed by semiexp
2m 19s main
main
2m 19s
Add solver for Rail Pool (#244) Run tests #733: Commit d8f3913 pushed by semiexp
2m 23s main
main
2m 23s
Add solver for Rail Pool Run tests #732: Pull request #244 opened by semiexp
2m 26s railpool
railpool
2m 26s
Added solver for paintarea (#236) Run tests #731: Commit 869ead2 pushed by semiexp
2m 19s main
main
2m 19s
Added solver for paintarea Run tests #730: Pull request #236 synchronize by ReverM
2m 22s ReverM:paintarea
ReverM:paintarea
2m 22s
Run tests Run tests #729: Scheduled
2m 15s main
main
2m 15s
Added context (#237) Run tests #728: Commit 086ac4d pushed by semiexp
2m 20s main
main
2m 20s
Add glucose_rs backend Run tests #727: Pull request #241 synchronize by semiexp
2m 58s experimental/glucose_rs
experimental/glucose_rs
2m 58s
Add glucose_rs backend Run tests #726: Pull request #241 synchronize by semiexp
2m 39s experimental/glucose_rs
experimental/glucose_rs
2m 39s
Add glucose_rs backend Run tests #725: Pull request #241 synchronize by semiexp
3m 13s experimental/glucose_rs
experimental/glucose_rs
3m 13s
Add feature-gated glucose_rs as an independent SAT backend Run tests #724: Pull request #243 synchronize by semiexp
3m 25s copilot/add-glucose-rs-backend-support
copilot/add-glucose-rs-backend-support
3m 25s
Add feature-gated glucose_rs as an independent SAT backend Run tests #723: Pull request #243 synchronize by semiexp
3m 6s copilot/add-glucose-rs-backend-support
copilot/add-glucose-rs-backend-support
3m 6s
Add feature-gated glucose_rs as an independent SAT backend Run tests #722: Pull request #243 synchronize by semiexp
2m 37s copilot/add-glucose-rs-backend-support
copilot/add-glucose-rs-backend-support
2m 37s
Add feature-gated glucose_rs as an independent SAT backend Run tests #721: Pull request #243 synchronize by semiexp
2m 45s copilot/add-glucose-rs-backend-support
copilot/add-glucose-rs-backend-support
2m 45s
Add feature-gated glucose_rs as an independent SAT backend Run tests #720: Pull request #243 synchronize by semiexp
2m 38s copilot/add-glucose-rs-backend-support
copilot/add-glucose-rs-backend-support
2m 38s
Add glucose_rs backend Run tests #718: Pull request #241 synchronize by semiexp
2m 54s experimental/glucose_rs
experimental/glucose_rs
2m 54s
glucose_rs as a submodule Run tests #717: Pull request #242 synchronize by semiexp
2m 57s glucose_rs-submodule
glucose_rs-submodule
2m 57s
glucose_rs as a submodule Run tests #716: Pull request #242 opened by semiexp
2m 59s glucose_rs-submodule
glucose_rs-submodule
2m 59s
Add glucose_rs backend Run tests #715: Pull request #241 opened by semiexp
3m 9s experimental/glucose_rs
experimental/glucose_rs
3m 9s