Merge branch 'main' into cadical-fix-disable-alits #1182
| Job | Run time |
|---|---|
| 11m 48s | |
| 16m 0s | |
| 7m 43s | |
| 14m 27s | |
| 6m 55s | |
| 8m 0s | |
| 7m 49s | |
| 12m 52s | |
| 16m 43s | |
| 8m 55s | |
| 17m 39s | |
| 2h 8m 51s |
| Job | Run time |
|---|---|
| 11m 48s | |
| 16m 0s | |
| 7m 43s | |
| 14m 27s | |
| 6m 55s | |
| 8m 0s | |
| 7m 49s | |
| 12m 52s | |
| 16m 43s | |
| 8m 55s | |
| 17m 39s | |
| 2h 8m 51s |