Merge pull request #221 from math-comp/fail-220 #157
Job | Run time |
---|---|
37s | |
30s | |
28s | |
26s | |
33s | |
33s | |
28s | |
26s | |
27s | |
35s | |
27s | |
32s | |
26s | |
26s | |
26s | |
32s | |
28s | |
33s | |
27s | |
28s | |
26s | |
34s | |
10m 48s |
Job | Run time |
---|---|
37s | |
30s | |
28s | |
26s | |
33s | |
33s | |
28s | |
26s | |
27s | |
35s | |
27s | |
32s | |
26s | |
26s | |
26s | |
32s | |
28s | |
33s | |
27s | |
28s | |
26s | |
34s | |
10m 48s |