Adapt to https://github.com/math-comp/math-comp/pull/1223 #57
Job | Run time |
---|---|
9m 43s | |
9m 44s | |
9m 41s | |
9m 32s | |
28m 34s | |
29m 52s | |
32m 36s | |
28m 19s | |
28m 40s | |
32m 38s | |
3h 39m 19s |
Job | Run time |
---|---|
9m 43s | |
9m 44s | |
9m 41s | |
9m 32s | |
28m 34s | |
29m 52s | |
32m 36s | |
28m 19s | |
28m 40s | |
32m 38s | |
3h 39m 19s |