Skip to content

Actions: testsmt/ci

Actions

Test cvc5 nightly build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cvc5-nightly.yml
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test cvc5 nightly build Test cvc5 nightly build #53: Scheduled
1m 8s main
main
1m 8s
Test cvc5 nightly build Test cvc5 nightly build #52: Scheduled
1m 10s main
main
1m 10s
Test cvc5 nightly build Test cvc5 nightly build #51: Scheduled
1m 11s main
main
1m 11s
Test cvc5 nightly build Test cvc5 nightly build #50: Scheduled
1m 5s main
main
1m 5s
Test cvc5 nightly build Test cvc5 nightly build #49: Scheduled
28m 8s main
main
28m 8s
Test cvc5 nightly build Test cvc5 nightly build #48: Scheduled
6h 0m 18s main
main
6h 0m 18s
Test cvc5 nightly build Test cvc5 nightly build #47: Scheduled
28m 47s main
main
28m 47s
Test cvc5 nightly build Test cvc5 nightly build #46: Scheduled
28m 38s main
main
28m 38s
Test cvc5 nightly build Test cvc5 nightly build #45: Scheduled
28m 54s main
main
28m 54s
Test cvc5 nightly build Test cvc5 nightly build #44: Scheduled
28m 40s main
main
28m 40s
Test cvc5 nightly build Test cvc5 nightly build #43: Scheduled
30m 22s main
main
30m 22s
Test cvc5 nightly build Test cvc5 nightly build #42: Scheduled
29m 15s main
main
29m 15s
Test cvc5 nightly build Test cvc5 nightly build #41: Scheduled
29m 10s main
main
29m 10s
Test cvc5 nightly build Test cvc5 nightly build #40: Scheduled
28m 55s main
main
28m 55s
Test cvc5 nightly build Test cvc5 nightly build #39: Scheduled
28m 55s main
main
28m 55s
Test cvc5 nightly build Test cvc5 nightly build #38: Scheduled
28m 14s main
main
28m 14s
Test cvc5 nightly build Test cvc5 nightly build #37: Scheduled
29m 34s main
main
29m 34s
Test cvc5 nightly build Test cvc5 nightly build #36: Scheduled
28m 57s main
main
28m 57s
Test cvc5 nightly build Test cvc5 nightly build #35: Scheduled
29m 8s main
main
29m 8s
Test cvc5 nightly build Test cvc5 nightly build #34: Scheduled
29m 35s main
main
29m 35s
Test cvc5 nightly build Test cvc5 nightly build #33: Scheduled
28m 30s main
main
28m 30s
Test cvc5 nightly build Test cvc5 nightly build #32: Scheduled
29m 56s main
main
29m 56s
Test cvc5 nightly build Test cvc5 nightly build #31: Scheduled
30m 44s main
main
30m 44s
Test cvc5 nightly build Test cvc5 nightly build #30: Scheduled
30m 46s main
main
30m 46s
Merge pull request #10 from testsmt/fix-concurrency-and-version-logic Test cvc5 nightly build #29: Commit 9afe34a pushed by NixoN2
Failure main
main
Failure