more clippy fixes #1851
Job | Run time |
---|---|
27s | |
35s | |
13s | |
32s | |
40s | |
1m 26s | |
1m 31s | |
3m 30s | |
32s | |
42s | |
43s | |
5m 18s | |
5m 11s | |
3m 22s | |
3m 22s | |
25s | |
32s | |
43s | |
41s | |
51s | |
38s | |
35s | |
39s | |
39s | |
32s | |
1m 0s | |
1m 6s | |
35s | |
36s | |
1m 33s | |
1m 24s | |
39s | |
52s | |
1m 49s | |
1m 48s | |
2m 8s | |
31s | |
24s | |
36s | |
1m 21s | |
1m 25s | |
50s | |
48s | |
1s | |
53m 45s |