v1800-2023 clarification: time literals should be scaled but not rounded #1595
| Job | Run time |
|---|---|
| 33m 33s | |
| 7m 47s | |
| 7m 33s | |
| 7m 8s | |
| 7m 21s | |
| 12m 19s | |
| 6m 44s | |
| 6m 15s | |
| 10m 50s | |
| 11m 43s | |
| 9m 4s | |
| 7m 31s | |
| 2h 7m 48s |
| Job | Run time |
|---|---|
| 33m 33s | |
| 7m 47s | |
| 7m 33s | |
| 7m 8s | |
| 7m 21s | |
| 12m 19s | |
| 6m 44s | |
| 6m 15s | |
| 10m 50s | |
| 11m 43s | |
| 9m 4s | |
| 7m 31s | |
| 2h 7m 48s |