Merge pull request #1077 from mkroening/more-ready #2517
github-merge-queue[bot]ci.yml
on: push
Check
1m 9s
Clippy
1m 39s
Format
19s
Check docs
40s
Build
1m 33s
Test
1m 57s
Run (x86_64, kvm)
6m 28s
Matrix: Run