Merge pull request #14 from hermitcore/riscv64 #77
ci.yml
on: push
Clippy
22s
Check documentation
28s
Check format
19s
Test with Miri
2m 37s
Test
11s