Adapt to https://github.com/math-comp/math-comp/pull/1545 (#1860) #6
| Job | Run time |
|---|---|
| 46s | |
| 41s | |
| 14m 11s | |
| 41s | |
| 2m 35s | |
| 1m 52s | |
| 12m 28s | |
| 1m 24s | |
| 2m 14s | |
| 16m 56s | |
| 12m 43s | |
| 6m 44s | |
| 1h 13m 15s |
| Job | Run time |
|---|---|
| 46s | |
| 41s | |
| 14m 11s | |
| 41s | |
| 2m 35s | |
| 1m 52s | |
| 12m 28s | |
| 1m 24s | |
| 2m 14s | |
| 16m 56s | |
| 12m 43s | |
| 6m 44s | |
| 1h 13m 15s |