#423: updated formatting #1035
Job | Run time |
---|---|
16s | |
15s | |
15s | |
15s | |
18s | |
17s | |
18s | |
18s | |
21s | |
20s | |
20s | |
16s | |
22s | |
18s | |
16s | |
18s | |
15s | |
16s | |
15s | |
21s | |
15s | |
16s | |
14s | |
17s | |
18s | |
16s | |
16s | |
16s | |
22s | |
14s | |
14s | |
19s | |
14s | |
15s | |
19s | |
15s | |
16s | |
17s | |
15s | |
16s | |
21s | |
22s | |
16s | |
12m 13s |