[generic] better directory formatting/md #1683
Job | Run time |
---|---|
26s | |
26s | |
32s | |
32s | |
28s | |
28s | |
22s | |
22s | |
28s | |
28s | |
26s | |
26s | |
20s | |
20s | |
29s | |
29s | |
47s | |
47s | |
8m 36s |
Job | Run time |
---|---|
26s | |
26s | |
32s | |
32s | |
28s | |
28s | |
22s | |
22s | |
28s | |
28s | |
26s | |
26s | |
20s | |
20s | |
29s | |
29s | |
47s | |
47s | |
8m 36s |