Skip to content

Actions: testsmt/ci

Actions

Test smtrat latest release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
smtrat.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test smtrat latest release Test smtrat latest release #61: Scheduled
1m 5s main
main
1m 5s
Test smtrat latest release Test smtrat latest release #60: Scheduled
1m 6s main
main
1m 6s
Test smtrat latest release Test smtrat latest release #59: Scheduled
1m 9s main
main
1m 9s
Test smtrat latest release Test smtrat latest release #58: Scheduled
2m 48s main
main
2m 48s
Test smtrat latest release Test smtrat latest release #57: Scheduled
2m 8s main
main
2m 8s
Test smtrat latest release Test smtrat latest release #56: Scheduled
2m 5s main
main
2m 5s
Test smtrat latest release Test smtrat latest release #55: Scheduled
2m 2s main
main
2m 2s
Test smtrat latest release Test smtrat latest release #54: Scheduled
2m 13s main
main
2m 13s
Test smtrat latest release Test smtrat latest release #53: Scheduled
1m 58s main
main
1m 58s
Test smtrat latest release Test smtrat latest release #52: Scheduled
2m 3s main
main
2m 3s
Test smtrat latest release Test smtrat latest release #51: Scheduled
15m 7s main
main
15m 7s
Test smtrat latest release Test smtrat latest release #50: Scheduled
15m 6s main
main
15m 6s
Test smtrat latest release Test smtrat latest release #49: Scheduled
16m 23s main
main
16m 23s
Test smtrat latest release Test smtrat latest release #48: Scheduled
16m 35s main
main
16m 35s
Test smtrat latest release Test smtrat latest release #47: Scheduled
14m 35s main
main
14m 35s
Test smtrat latest release Test smtrat latest release #46: Scheduled
22m 14s main
main
22m 14s
Test smtrat latest release Test smtrat latest release #45: Scheduled
14m 38s main
main
14m 38s
Test smtrat latest release Test smtrat latest release #44: Scheduled
15m 19s main
main
15m 19s
Test smtrat latest release Test smtrat latest release #43: Scheduled
15m 53s main
main
15m 53s
Test smtrat latest release Test smtrat latest release #42: Scheduled
16m 28s main
main
16m 28s
Test smtrat latest release Test smtrat latest release #41: Scheduled
15m 55s main
main
15m 55s
Test smtrat latest release Test smtrat latest release #40: Scheduled
15m 35s main
main
15m 35s
Test smtrat latest release Test smtrat latest release #39: Scheduled
15m 45s main
main
15m 45s
Test smtrat latest release Test smtrat latest release #38: Manually run by NixoN2
14m 35s main
main
14m 35s
Test smtrat latest release Test smtrat latest release #37: Manually run by NixoN2
2m 7s main
main
2m 7s