Merge branch 'main' of https://github.com/cvc5/cvc5 into pfTrustId #30179
| Job | Run time |
|---|---|
| 9m 9s | |
| 4m 23s | |
| 11m 45s | |
| 6m 34s | |
| 10m 6s | |
| 4m 43s | |
| 5m 49s | |
| 11m 44s | |
| 6m 24s | |
| 11m 45s | |
| 11m 42s | |
| 1h 34m 4s |
| Job | Run time |
|---|---|
| 9m 9s | |
| 4m 23s | |
| 11m 45s | |
| 6m 34s | |
| 10m 6s | |
| 4m 43s | |
| 5m 49s | |
| 11m 44s | |
| 6m 24s | |
| 11m 45s | |
| 11m 42s | |
| 1h 34m 4s |