Merge pull request #1133 from mkroening/non-exhaustive-platforms #2797
github-merge-queue[bot]ci.yml
on: push
Check
52s
Clippy
57s
Format
15s
Check docs
21s
Build
1m 7s
Test
1m 12s
Run (x86_64, kvm)
3m 42s
Matrix: Run