Fix clippy lints #1886
Job | Run time |
---|---|
45s | |
15m 25s | |
17m 29s | |
22m 6s | |
15m 50s | |
17m 15s | |
19m 39s | |
16m 17s | |
36m 5s | |
17m 0s | |
19m 1s | |
37m 39s | |
20m 30s | |
16m 31s | |
18m 37s | |
17m 58s | |
15m 39s | |
13m 23s | |
17m 59s | |
13m 37s | |
17m 11s | |
16m 37s | |
12m 29s | |
14m 21s | |
16m 9s | |
13m 3s | |
14m 9s | |
16m 41s | |
12m 3s | |
16m 52s | |
17m 53s | |
8h 56m 13s |