Small cleanups. #138
Job | Run time |
---|---|
3m 55s | |
5m 35s | |
1m 41s | |
2m 57s | |
5m 44s | |
5m 37s | |
5m 16s | |
6m 46s | |
3m 4s | |
2m 52s | |
6m 45s | |
7m 13s | |
6m 59s | |
6m 38s | |
6m 59s | |
1s | |
1s | |
5m 36s | |
6m 47s | |
1h 30m 26s |
Job | Run time |
---|---|
3m 55s | |
5m 35s | |
1m 41s | |
2m 57s | |
5m 44s | |
5m 37s | |
5m 16s | |
6m 46s | |
3m 4s | |
2m 52s | |
6m 45s | |
7m 13s | |
6m 59s | |
6m 38s | |
6m 59s | |
1s | |
1s | |
5m 36s | |
6m 47s | |
1h 30m 26s |