Merge pull request #20 from hermit-os/spinning-top #122
ci.yml
on: push
Clippy
12s
Check documentation
15s
Check format
12s
Test with Miri
37s
Test
13s