Merge pull request #1142 from hermit-os/hermit-careful #2847
github-merge-queue[bot]ci.yml
on: push
Check
1m 4s
Clippy
1m 2s
Format
25s
Check docs
22s
Build
1m 13s
Test
1m 10s
Run (x86_64, kvm)
3m 59s
Matrix: Run