adapt to coq/coq#19872 #56
Job | Run time |
---|---|
5m 19s | |
5m 18s | |
2m 56s | |
10m 59s | |
10m 13s | |
10m 19s | |
10m 27s | |
33m 10s | |
10m 19s | |
1h 3m 36s | |
10m 29s | |
9m 1s | |
3h 2m 6s |
Job | Run time |
---|---|
5m 19s | |
5m 18s | |
2m 56s | |
10m 59s | |
10m 13s | |
10m 19s | |
10m 27s | |
33m 10s | |
10m 19s | |
1h 3m 36s | |
10m 29s | |
9m 1s | |
3h 2m 6s |