Merge pull request #1461 from hermit-os/null-scheduler #4812
github-merge-queue[bot]ci.yml
on: push
Check
1m 1s
Clippy
1m 8s
Format
16s
Typos
3s
Doc
34s
Build
1m 15s
Test
1m 36s
Matrix: Run