Merge branch 'main' of https://github.com/cvc5/cvc5 into pfTrustId #29420
| Job | Run time |
|---|---|
| 19m 37s | |
| 26m 53s | |
| 11m 10s | |
| 18m 26s | |
| 20m 45s | |
| 15m 55s | |
| 17m 13s | |
| 27m 18s | |
| 15m 50s | |
| 27m 27s | |
| 22m 38s | |
| 3h 43m 12s |
| Job | Run time |
|---|---|
| 19m 37s | |
| 26m 53s | |
| 11m 10s | |
| 18m 26s | |
| 20m 45s | |
| 15m 55s | |
| 17m 13s | |
| 27m 18s | |
| 15m 50s | |
| 27m 27s | |
| 22m 38s | |
| 3h 43m 12s |