Skip to content

Actions: testsmt/ci

Actions

Test yices2 latest release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
yices2.yml
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test yices2 latest release Test yices2 latest release #60: Scheduled
1m 7s main
main
1m 7s
Test yices2 latest release Test yices2 latest release #59: Scheduled
1m 16s main
main
1m 16s
Test yices2 latest release Test yices2 latest release #58: Scheduled
1m 11s main
main
1m 11s
Test yices2 latest release Test yices2 latest release #57: Scheduled
17m 18s main
main
17m 18s
Test yices2 latest release Test yices2 latest release #56: Scheduled
16m 59s main
main
16m 59s
Test yices2 latest release Test yices2 latest release #55: Scheduled
17m 13s main
main
17m 13s
Test yices2 latest release Test yices2 latest release #54: Scheduled
17m 54s main
main
17m 54s
Test yices2 latest release Test yices2 latest release #53: Scheduled
18m 23s main
main
18m 23s
Test yices2 latest release Test yices2 latest release #52: Scheduled
17m 48s main
main
17m 48s
Test yices2 latest release Test yices2 latest release #51: Scheduled
17m 13s main
main
17m 13s
Test yices2 latest release Test yices2 latest release #50: Scheduled
17m 15s main
main
17m 15s
Test yices2 latest release Test yices2 latest release #49: Scheduled
17m 32s main
main
17m 32s
Test yices2 latest release Test yices2 latest release #48: Scheduled
17m 11s main
main
17m 11s
Test yices2 latest release Test yices2 latest release #47: Scheduled
19m 38s main
main
19m 38s
Test yices2 latest release Test yices2 latest release #46: Scheduled
17m 54s main
main
17m 54s
Test yices2 latest release Test yices2 latest release #45: Scheduled
18m 35s main
main
18m 35s
Test yices2 latest release Test yices2 latest release #44: Scheduled
19m 19s main
main
19m 19s
Test yices2 latest release Test yices2 latest release #43: Scheduled
18m 10s main
main
18m 10s
Test yices2 latest release Test yices2 latest release #42: Scheduled
23m 2s main
main
23m 2s
Test yices2 latest release Test yices2 latest release #41: Scheduled
18m 34s main
main
18m 34s
Test yices2 latest release Test yices2 latest release #40: Scheduled
17m 29s main
main
17m 29s
Test yices2 latest release Test yices2 latest release #39: Scheduled
17m 10s main
main
17m 10s
Test yices2 latest release Test yices2 latest release #38: Scheduled
17m 34s main
main
17m 34s
Test yices2 latest release Test yices2 latest release #37: Manually run by NixoN2
17m 14s main
main
17m 14s
Test yices2 latest release Test yices2 latest release #36: Manually run by NixoN2
2m 28s main
main
2m 28s