Adapt to change of types in Coq PR #19107. #2731
Job | Run time |
---|---|
14s | |
11m 10s | |
1m 26s | |
10m 5s | |
2m 23s | |
1m 3s | |
10m 51s | |
10m 43s | |
7m 59s | |
7m 56s | |
8m 43s | |
9m 35s | |
16m 23s | |
1h 38m 31s |
Job | Run time |
---|---|
14s | |
11m 10s | |
1m 26s | |
10m 5s | |
2m 23s | |
1m 3s | |
10m 51s | |
10m 43s | |
7m 59s | |
7m 56s | |
8m 43s | |
9m 35s | |
16m 23s | |
1h 38m 31s |