Merge pull request #1085 from stlankes/mio #2541
github-merge-queue[bot]ci.yml
on: push
Check
48s
Clippy
51s
Format
13s
Check docs
21s
Build
1m 8s
Test
55s
Run (x86_64, kvm)
4m 16s
Matrix: Run