run make tidy #989
Job | Run time |
---|---|
30s | |
11s | |
2m 44s | |
51s | |
16s | |
1m 43s | |
2m 50s | |
2m 50s | |
2m 52s | |
2m 47s | |
2m 45s | |
2m 44s | |
2m 51s | |
2m 46s | |
28m 40s |
Job | Run time |
---|---|
30s | |
11s | |
2m 44s | |
51s | |
16s | |
1m 43s | |
2m 50s | |
2m 50s | |
2m 52s | |
2m 47s | |
2m 45s | |
2m 44s | |
2m 51s | |
2m 46s | |
28m 40s |