Adapt to https://github.com/coq/coq/pull/19530 (#1992) #773
| Job | Run time |
|---|---|
| 1h 29m 42s | |
| 1m 0s | |
| 1m 31s | |
| 6m 4s | |
| 46m 34s | |
| 17m 24s | |
| 32s | |
| 2h 19m 24s | |
| 22m 0s | |
| 45s | |
| 1s | |
| 5h 24m 57s |
| Job | Run time |
|---|---|
| 1h 29m 42s | |
| 1m 0s | |
| 1m 31s | |
| 6m 4s | |
| 46m 34s | |
| 17m 24s | |
| 32s | |
| 2h 19m 24s | |
| 22m 0s | |
| 45s | |
| 1s | |
| 5h 24m 57s |