Merge pull request #20 from hermit-os/spinning-top #121
ci.yml
on: push
Clippy
19s
Check documentation
14s
Check format
15s
Test with Miri
34s
Test
14s