adjustments to JuliaLang/julia#52284 #2357
| Job | Run time |
|---|---|
| 3m 53s | |
| 4m 21s | |
| 6m 58s | |
| 4m 31s | |
| 6m 50s | |
| 3m 56s | |
| 4m 25s | |
| 9m 16s | |
| 4m 39s | |
| 6m 42s | |
| 3m 32s | |
| 4m 1s | |
| 4m 39s | |
| 4m 12s | |
| 6m 18s | |
| 6m 9s | |
| 8m 16s | |
| 12m 8s | |
| 7m 8s | |
| 10m 5s | |
| 2h 1m 59s |
| Job | Run time |
|---|---|
| 3m 53s | |
| 4m 21s | |
| 6m 58s | |
| 4m 31s | |
| 6m 50s | |
| 3m 56s | |
| 4m 25s | |
| 9m 16s | |
| 4m 39s | |
| 6m 42s | |
| 3m 32s | |
| 4m 1s | |
| 4m 39s | |
| 4m 12s | |
| 6m 18s | |
| 6m 9s | |
| 8m 16s | |
| 12m 8s | |
| 7m 8s | |
| 10m 5s | |
| 2h 1m 59s |