Merge pull request #22 from rust-osdev/rust-2018-idioms #162
github-merge-queue[bot]ci.yml
on: push
Check
25s
Clippy
18s
Doc
22s
Format
16s
Miri
43s
Semver checks
24s
Test
19s