Skip to content

more clippy fixes #1851

more clippy fixes

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