Skip to content

Actions: testsmt/ci

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
702 workflow runs
702 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Test z3 latest release Test z3 latest release #74: Scheduled
36m 25s main
main
36m 25s
Test yices2 latest release Test yices2 latest release #73: Scheduled
16m 49s main
main
16m 49s
Test stp latest release Test stp latest release #73: Scheduled
7m 33s main
main
7m 33s
Test smtrat latest release Test smtrat latest release #74: Scheduled
2m 22s main
main
2m 22s
Test ostrich latest release Test ostrich latest release #75: Scheduled
2m 29s main
main
2m 29s
Test opensmt2 latest release Test opensmt2 latest release #73: Scheduled
11m 24s main
main
11m 24s
Test mathsat5 latest release Test mathsat5 latest release #78: Scheduled
33m 13s main
main
33m 13s
Test cvc5 latest release Test cvc5 latest release #76: Scheduled
37m 20s main
main
37m 20s
Test z3 nightly build Test z3 nightly build #65: Scheduled
1h 15m 26s main
main
1h 15m 26s
Test cvc5 nightly build Test cvc5 nightly build #65: Scheduled
28m 52s main
main
28m 52s
Test z3 latest release Test z3 latest release #73: Scheduled
35m 21s main
main
35m 21s
Test yices2 latest release Test yices2 latest release #72: Scheduled
16m 51s main
main
16m 51s
Test stp latest release Test stp latest release #72: Scheduled
7m 45s main
main
7m 45s
Test smtrat latest release Test smtrat latest release #73: Scheduled
2m 24s main
main
2m 24s
Test ostrich latest release Test ostrich latest release #74: Scheduled
2m 27s main
main
2m 27s
Test opensmt2 latest release Test opensmt2 latest release #72: Scheduled
11m 38s main
main
11m 38s
Test mathsat5 latest release Test mathsat5 latest release #77: Scheduled
33m 37s main
main
33m 37s
Test cvc5 latest release Test cvc5 latest release #75: Scheduled
35m 48s main
main
35m 48s
Test z3 nightly build Test z3 nightly build #64: Scheduled
1h 10m 58s main
main
1h 10m 58s
Test cvc5 nightly build Test cvc5 nightly build #64: Scheduled
29m 14s main
main
29m 14s
Test z3 latest release Test z3 latest release #72: Scheduled
35m 17s main
main
35m 17s
Test yices2 latest release Test yices2 latest release #71: Scheduled
17m 56s main
main
17m 56s
Test stp latest release Test stp latest release #71: Scheduled
7m 49s main
main
7m 49s
Test smtrat latest release Test smtrat latest release #72: Scheduled
3m 11s main
main
3m 11s
Test ostrich latest release Test ostrich latest release #73: Scheduled
2m 11s main
main
2m 11s