Skip to content

Actions: testsmt/ci

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
646 workflow runs
646 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test z3 latest release Test z3 latest release #66: Scheduled
37m 2s main
main
37m 2s
Test yices2 latest release Test yices2 latest release #65: Scheduled
17m 6s main
main
17m 6s
Test stp latest release Test stp latest release #65: Scheduled
8m 2s main
main
8m 2s
Test smtrat latest release Test smtrat latest release #66: Scheduled
2m 26s main
main
2m 26s
Test ostrich latest release Test ostrich latest release #67: Scheduled
2m 32s main
main
2m 32s
Test opensmt2 latest release Test opensmt2 latest release #65: Scheduled
11m 47s main
main
11m 47s
Test mathsat5 latest release Test mathsat5 latest release #70: Scheduled
33m 28s main
main
33m 28s
Test cvc5 latest release Test cvc5 latest release #68: Scheduled
37m 10s main
main
37m 10s
Test z3 nightly build Test z3 nightly build #57: Scheduled
1h 17m 15s main
main
1h 17m 15s
Test cvc5 nightly build Test cvc5 nightly build #57: Scheduled
30m 0s main
main
30m 0s
Test z3 latest release Test z3 latest release #65: Scheduled
36m 26s main
main
36m 26s
Test yices2 latest release Test yices2 latest release #64: Scheduled
17m 32s main
main
17m 32s
Test stp latest release Test stp latest release #64: Scheduled
7m 25s main
main
7m 25s
Test smtrat latest release Test smtrat latest release #65: Scheduled
2m 24s main
main
2m 24s
Test ostrich latest release Test ostrich latest release #66: Scheduled
2m 20s main
main
2m 20s
Test opensmt2 latest release Test opensmt2 latest release #64: Scheduled
11m 49s main
main
11m 49s
Test mathsat5 latest release Test mathsat5 latest release #69: Scheduled
33m 28s main
main
33m 28s
Test cvc5 latest release Test cvc5 latest release #67: Scheduled
36m 0s main
main
36m 0s
Test z3 nightly build Test z3 nightly build #56: Scheduled
1h 13m 4s main
main
1h 13m 4s
Test cvc5 nightly build Test cvc5 nightly build #56: Scheduled
29m 46s main
main
29m 46s
Test z3 latest release Test z3 latest release #64: Scheduled
36m 21s main
main
36m 21s
Test yices2 latest release Test yices2 latest release #63: Scheduled
18m 59s main
main
18m 59s
Test stp latest release Test stp latest release #63: Scheduled
8m 17s main
main
8m 17s
Test smtrat latest release Test smtrat latest release #64: Scheduled
2m 22s main
main
2m 22s
Test ostrich latest release Test ostrich latest release #65: Scheduled
3m 16s main
main
3m 16s