more clippy
fixes
#1093
Job | Run time |
---|---|
33m 9s | |
2m 2s | |
16m 22s | |
1m 32s | |
1m 16s | |
1m 32s | |
3m 51s | |
1s | |
59m 45s |
clippy
fixes
#1093
Job | Run time |
---|---|
33m 9s | |
2m 2s | |
16m 22s | |
1m 32s | |
1m 16s | |
1m 32s | |
3m 51s | |
1s | |
59m 45s |