Adapt to https://github.com/math-comp/math-comp/pull/1545 #1456
| Job | Run time |
|---|---|
| 49s | |
| 50s | |
| 2m 51s | |
| 14m 23s | |
| 3m 53s | |
| 1m 40s | |
| 12m 40s | |
| 1m 25s | |
| 5m 33s | |
| 1m 41s | |
| 6m 43s | |
| 52m 28s |
| Job | Run time |
|---|---|
| 49s | |
| 50s | |
| 2m 51s | |
| 14m 23s | |
| 3m 53s | |
| 1m 40s | |
| 12m 40s | |
| 1m 25s | |
| 5m 33s | |
| 1m 41s | |
| 6m 43s | |
| 52m 28s |