Merge pull request #84 from math-comp/cleanup-phantom #198
| Job | Run time |
|---|---|
| 16m 19s | |
| 14m 17s | |
| 13m 52s | |
| 16m 22s | |
| 14m 32s | |
| 14m 6s | |
| 3m 19s | |
| 3m 7s | |
| 3m 8s | |
| 3m 13s | |
| 1h 42m 15s |
| Job | Run time |
|---|---|
| 16m 19s | |
| 14m 17s | |
| 13m 52s | |
| 16m 22s | |
| 14m 32s | |
| 14m 6s | |
| 3m 19s | |
| 3m 7s | |
| 3m 8s | |
| 3m 13s | |
| 1h 42m 15s |