Merge pull request #1281 from waywardmonkeys/clippy-single_component_… #938
Job | Run time |
---|---|
5m 35s | |
29s | |
47s | |
6s | |
6m 0s | |
6m 18s | |
49s | |
48s | |
3m 55s | |
9m 59s | |
1m 33s | |
29s | |
36m 48s |
Job | Run time |
---|---|
5m 35s | |
29s | |
47s | |
6s | |
6m 0s | |
6m 18s | |
49s | |
48s | |
3m 55s | |
9m 59s | |
1m 33s | |
29s | |
36m 48s |