Merge pull request #1206 from urschrei/clippy_180_fixes #3622
Job | Run time |
---|---|
1m 52s | |
1m 6s | |
1m 52s | |
35s | |
1m 49s | |
39s | |
38s | |
55s | |
35s | |
49s | |
2m 16s | |
48s | |
59s | |
1s | |
0s | |
14m 54s |
Job | Run time |
---|---|
1m 52s | |
1m 6s | |
1m 52s | |
35s | |
1m 49s | |
39s | |
38s | |
55s | |
35s | |
49s | |
2m 16s | |
48s | |
59s | |
1s | |
0s | |
14m 54s |