Skip to content

Actions: testsmt/ci

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
576 workflow runs
576 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test z3 latest release Test z3 latest release #59: Scheduled
1m 25s main
main
1m 25s
Test yices2 latest release Test yices2 latest release #58: Scheduled
1m 11s main
main
1m 11s
Test stp latest release Test stp latest release #58: Scheduled
1m 4s main
main
1m 4s
Test smtrat latest release Test smtrat latest release #59: Scheduled
1m 9s main
main
1m 9s
Test ostrich latest release Test ostrich latest release #60: Scheduled
1m 11s main
main
1m 11s
Test opensmt2 latest release Test opensmt2 latest release #58: Scheduled
1m 16s main
main
1m 16s
Test mathsat5 latest release Test mathsat5 latest release #63: Scheduled
1m 24s main
main
1m 24s
Test cvc5 latest release Test cvc5 latest release #61: Scheduled
1m 12s main
main
1m 12s
Test z3 nightly build Test z3 nightly build #50: Scheduled
1m 12s main
main
1m 12s
Test cvc5 nightly build Test cvc5 nightly build #50: Scheduled
1m 5s main
main
1m 5s
Test z3 latest release Test z3 latest release #58: Scheduled
35m 28s main
main
35m 28s
Test yices2 latest release Test yices2 latest release #57: Scheduled
17m 18s main
main
17m 18s
Test stp latest release Test stp latest release #57: Scheduled
7m 12s main
main
7m 12s
Test smtrat latest release Test smtrat latest release #58: Scheduled
2m 48s main
main
2m 48s
Test ostrich latest release Test ostrich latest release #59: Scheduled
1m 49s main
main
1m 49s
Test opensmt2 latest release Test opensmt2 latest release #57: Scheduled
20m 58s main
main
20m 58s
Test mathsat5 latest release Test mathsat5 latest release #62: Scheduled
32m 42s main
main
32m 42s
Test cvc5 latest release Test cvc5 latest release #60: Scheduled
36m 25s main
main
36m 25s
Test z3 nightly build Test z3 nightly build #49: Scheduled
1h 10m 49s main
main
1h 10m 49s
Test cvc5 nightly build Test cvc5 nightly build #49: Scheduled
28m 8s main
main
28m 8s
Test z3 latest release Test z3 latest release #57: Scheduled
35m 13s main
main
35m 13s
Test yices2 latest release Test yices2 latest release #56: Scheduled
16m 59s main
main
16m 59s
Test stp latest release Test stp latest release #56: Scheduled
7m 18s main
main
7m 18s
Test smtrat latest release Test smtrat latest release #57: Scheduled
2m 8s main
main
2m 8s
Test ostrich latest release Test ostrich latest release #58: Scheduled
2m 18s main
main
2m 18s