Adapt to https://github.com/coq/coq/pull/19530 (#1957) #689
Job | Run time |
---|---|
1h 24m 41s | |
15s | |
1m 37s | |
20m 31s | |
12m 59s | |
29s | |
47m 26s | |
2h 19m 37s | |
3m 5s | |
0s | |
1s | |
5h 10m 41s |
Job | Run time |
---|---|
1h 24m 41s | |
15s | |
1m 37s | |
20m 31s | |
12m 59s | |
29s | |
47m 26s | |
2h 19m 37s | |
3m 5s | |
0s | |
1s | |
5h 10m 41s |