Fix clippy lints #2083
Job | Run time |
---|---|
5m 1s | |
18m 46s | |
19m 3s | |
20m 38s | |
19m 53s | |
23m 28s | |
21m 25s | |
22m 11s | |
23m 45s | |
32m 24s | |
28m 44s | |
3h 55m 18s |
Job | Run time |
---|---|
5m 1s | |
18m 46s | |
19m 3s | |
20m 38s | |
19m 53s | |
23m 28s | |
21m 25s | |
22m 11s | |
23m 45s | |
32m 24s | |
28m 44s | |
3h 55m 18s |