misc tightening of linting #9785
Job | Run time |
---|---|
3m 23s | |
35s | |
3m 0s | |
28s | |
1m 55s | |
2m 51s | |
1m 49s | |
11m 15s | |
30s | |
34s | |
32s | |
6m 56s | |
6m 4s | |
39m 52s |
Job | Run time |
---|---|
3m 23s | |
35s | |
3m 0s | |
28s | |
1m 55s | |
2m 51s | |
1m 49s | |
11m 15s | |
30s | |
34s | |
32s | |
6m 56s | |
6m 4s | |
39m 52s |