Adapt to https://github.com/coq/coq/pull/18590 #35
Job | Run time |
---|---|
4m 58s | |
4m 58s | |
4m 28s | |
4m 28s | |
5m 1s | |
5m 6s | |
7m 50s | |
7m 50s | |
47m 17s | |
48m 30s | |
7m 57s | |
7m 57s | |
7m 54s | |
7m 54s | |
7m 42s | |
7m 42s | |
11m 1s | |
11m 1s | |
13m 1s | |
13m 1s | |
3h 55m 36s |
Job | Run time |
---|---|
4m 58s | |
4m 58s | |
4m 28s | |
4m 28s | |
5m 1s | |
5m 6s | |
7m 50s | |
7m 50s | |
47m 17s | |
48m 30s | |
7m 57s | |
7m 57s | |
7m 54s | |
7m 54s | |
7m 42s | |
7m 42s | |
11m 1s | |
11m 1s | |
13m 1s | |
13m 1s | |
3h 55m 36s |