Adapt to https://github.com/coq/coq/pull/19530 #679
| Job | Run time |
|---|---|
| 1h 26m 1s | |
| 15s | |
| 1m 26s | |
| 17m 0s | |
| 5m 49s | |
| 23m 43s | |
| 3m 0s | |
| 45m 17s | |
| 2h 18m 26s | |
| 0s | |
| 10s | |
| 5h 21m 7s |
| Job | Run time |
|---|---|
| 1h 26m 1s | |
| 15s | |
| 1m 26s | |
| 17m 0s | |
| 5m 49s | |
| 23m 43s | |
| 3m 0s | |
| 45m 17s | |
| 2h 18m 26s | |
| 0s | |
| 10s | |
| 5h 21m 7s |