This improves the date and time number formats #810
| Job | Run time |
|---|---|
| 16m 43s | |
| 16m 13s | |
| 24m 59s | |
| 27m 20s | |
| 14m 44s | |
| 14m 46s | |
| 17m 16s | |
| 14m 16s | |
| 15m 16s | |
| 15m 44s | |
| 14m 57s | |
| 17m 21s | |
| 17m 5s | |
| 16m 15s | |
| 13m 52s | |
| 14m 5s | |
| 15m 48s | |
| 16m 55s | |
| 17m 3s | |
| 17m 25s | |
| 15m 18s | |
| 27m 15s | |
| 18m 36s | |
| 15m 42s | |
| 18m 56s | |
| 20m 11s | |
| 18m 48s | |
| 21m 54s | |
| 22m 8s | |
| 30m 2s | |
| 9h 6m 53s |