Merge pull request #1070 from mkroening/ci-reduction #2455
github-merge-queue[bot]ci.yml
on: push
Check
1m 0s
Clippy
1m 21s
Format
17s
Check docs
21s
Build
1m 16s
Test
1m 6s
Run (x86_64, kvm)
4m 54s
Matrix: Run