Skip to content

Actions: testsmt/ci

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
676 workflow runs
676 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test z3 latest release Test z3 latest release #69: Scheduled
37m 4s main
main
37m 4s
Test yices2 latest release Test yices2 latest release #68: Scheduled
17m 46s main
main
17m 46s
Test stp latest release Test stp latest release #68: Scheduled
7m 24s main
main
7m 24s
Test smtrat latest release Test smtrat latest release #69: Scheduled
2m 52s main
main
2m 52s
Test ostrich latest release Test ostrich latest release #70: Scheduled
2m 30s main
main
2m 30s
Test opensmt2 latest release Test opensmt2 latest release #68: Scheduled
10m 55s main
main
10m 55s
Test mathsat5 latest release Test mathsat5 latest release #73: Scheduled
31m 42s main
main
31m 42s
Test cvc5 latest release Test cvc5 latest release #71: Scheduled
36m 56s main
main
36m 56s
Test z3 nightly build Test z3 nightly build #60: Scheduled
1h 14m 48s main
main
1h 14m 48s
Test cvc5 nightly build Test cvc5 nightly build #60: Scheduled
30m 41s main
main
30m 41s
Test z3 latest release Test z3 latest release #68: Scheduled
37m 15s main
main
37m 15s
Test yices2 latest release Test yices2 latest release #67: Scheduled
17m 46s main
main
17m 46s
Test stp latest release Test stp latest release #67: Scheduled
7m 32s main
main
7m 32s
Test smtrat latest release Test smtrat latest release #68: Scheduled
2m 28s main
main
2m 28s
Test ostrich latest release Test ostrich latest release #69: Scheduled
2m 12s main
main
2m 12s
Test opensmt2 latest release Test opensmt2 latest release #67: Scheduled
10m 27s main
main
10m 27s
Test mathsat5 latest release Test mathsat5 latest release #72: Scheduled
35m 32s main
main
35m 32s
Test cvc5 latest release Test cvc5 latest release #70: Scheduled
36m 51s main
main
36m 51s
Test z3 nightly build Test z3 nightly build #59: Scheduled
1h 20m 6s main
main
1h 20m 6s
Test cvc5 nightly build Test cvc5 nightly build #59: Scheduled
29m 16s main
main
29m 16s
Test z3 latest release Test z3 latest release #67: Scheduled
37m 1s main
main
37m 1s
Test yices2 latest release Test yices2 latest release #66: Scheduled
17m 51s main
main
17m 51s
Test stp latest release Test stp latest release #66: Scheduled
7m 40s main
main
7m 40s
Test smtrat latest release Test smtrat latest release #67: Scheduled
3m 33s main
main
3m 33s
Test ostrich latest release Test ostrich latest release #68: Scheduled
5m 23s main
main
5m 23s