Merge pull request #1073 from mkroening/clippy-install #2481
github-merge-queue[bot]ci.yml
on: push
Check
51s
Clippy
1m 8s
Format
15s
Check docs
31s
Build
1m 5s
Test
1m 27s
Run (x86_64, kvm)
5m 18s
Matrix: Run