Merge pull request #15 from hermitcore/release-0.1.3 #80
ci.yml
on: push
Clippy
18s
Check documentation
10s
Check format
16s
Test with Miri
2m 34s
Test
17s