Adapt w.r.t. coq/coq#19313. #2742
Job | Run time |
---|---|
15s | |
10m 56s | |
12m 0s | |
1m 36s | |
10m 16s | |
59s | |
2m 34s | |
10m 41s | |
11m 1s | |
11m 3s | |
11m 19s | |
11m 50s | |
17m 37s | |
1h 52m 7s |
Job | Run time |
---|---|
15s | |
10m 56s | |
12m 0s | |
1m 36s | |
10m 16s | |
59s | |
2m 34s | |
10m 41s | |
11m 1s | |
11m 3s | |
11m 19s | |
11m 50s | |
17m 37s | |
1h 52m 7s |