Wrap PR 1213 to 80 columns #2648
Job | Run time |
---|---|
4m 8s | |
24s | |
4m 16s | |
25s | |
1m 50s | |
15s | |
4m 48s | |
1m 53s | |
4m 49s | |
20s | |
27s | |
14s | |
1m 44s | |
9s | |
1m 1s | |
2m 0s | |
28m 43s |
Job | Run time |
---|---|
4m 8s | |
24s | |
4m 16s | |
25s | |
1m 50s | |
15s | |
4m 48s | |
1m 53s | |
4m 49s | |
20s | |
27s | |
14s | |
1m 44s | |
9s | |
1m 1s | |
2m 0s | |
28m 43s |