Fix clippy lints (#270) #2087
Job | Run time |
---|---|
2m 2s | |
20m 6s | |
18m 29s | |
19m 52s | |
23m 35s | |
23m 53s | |
24m 27s | |
22m 24s | |
22m 41s | |
31m 18s | |
27m 35s | |
3h 56m 22s |
Job | Run time |
---|---|
2m 2s | |
20m 6s | |
18m 29s | |
19m 52s | |
23m 35s | |
23m 53s | |
24m 27s | |
22m 24s | |
22m 41s | |
31m 18s | |
27m 35s | |
3h 56m 22s |