Skip to content

Actions: testsmt/ci

Actions

Test mathsat5 latest release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mathsat5.yml
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test mathsat5 latest release Test mathsat5 latest release #64: Scheduled
1m 4s main
main
1m 4s
Test mathsat5 latest release Test mathsat5 latest release #63: Scheduled
1m 24s main
main
1m 24s
Test mathsat5 latest release Test mathsat5 latest release #62: Scheduled
32m 42s main
main
32m 42s
Test mathsat5 latest release Test mathsat5 latest release #61: Scheduled
33m 34s main
main
33m 34s
Test mathsat5 latest release Test mathsat5 latest release #60: Scheduled
31m 53s main
main
31m 53s
Test mathsat5 latest release Test mathsat5 latest release #59: Scheduled
33m 24s main
main
33m 24s
Test mathsat5 latest release Test mathsat5 latest release #58: Scheduled
32m 23s main
main
32m 23s
Test mathsat5 latest release Test mathsat5 latest release #57: Scheduled
32m 30s main
main
32m 30s
Test mathsat5 latest release Test mathsat5 latest release #56: Scheduled
32m 27s main
main
32m 27s
Test mathsat5 latest release Test mathsat5 latest release #55: Scheduled
32m 32s main
main
32m 32s
Test mathsat5 latest release Test mathsat5 latest release #54: Scheduled
32m 36s main
main
32m 36s
Test mathsat5 latest release Test mathsat5 latest release #53: Scheduled
32m 51s main
main
32m 51s
Test mathsat5 latest release Test mathsat5 latest release #52: Scheduled
34m 2s main
main
34m 2s
Test mathsat5 latest release Test mathsat5 latest release #51: Scheduled
33m 41s main
main
33m 41s
Test mathsat5 latest release Test mathsat5 latest release #50: Scheduled
35m 23s main
main
35m 23s
Test mathsat5 latest release Test mathsat5 latest release #49: Scheduled
36m 52s main
main
36m 52s
Test mathsat5 latest release Test mathsat5 latest release #48: Scheduled
33m 2s main
main
33m 2s
Test mathsat5 latest release Test mathsat5 latest release #47: Scheduled
33m 41s main
main
33m 41s
Test mathsat5 latest release Test mathsat5 latest release #46: Scheduled
39m 14s main
main
39m 14s
Test mathsat5 latest release Test mathsat5 latest release #45: Scheduled
33m 8s main
main
33m 8s
Test mathsat5 latest release Test mathsat5 latest release #44: Scheduled
34m 2s main
main
34m 2s
Test mathsat5 latest release Test mathsat5 latest release #43: Scheduled
33m 11s main
main
33m 11s
Test mathsat5 latest release Test mathsat5 latest release #42: Manually run by NixoN2
34m 3s main
main
34m 3s
Test mathsat5 latest release Test mathsat5 latest release #41: Manually run by NixoN2
34m 53s main
main
34m 53s
Test mathsat5 latest release Test mathsat5 latest release #40: Manually run by NixoN2
1m 56s main
main
1m 56s