Merge pull request #13 from hermit-os/still #128
github-merge-queue[bot]ci.yml
on: push
Clippy
19s
Check documentation
15s
Check format
15s
Test with Miri
44s
Test
17s