--presets print names only if stdout is not a terminal
#37
| Job | Run time |
|---|---|
| 35s | |
| 1m 39s | |
| 38s | |
| 2m 52s |
--presets print names only if stdout is not a terminal
#37
| Job | Run time |
|---|---|
| 35s | |
| 1m 39s | |
| 38s | |
| 2m 52s |