Merge pull request #13 from hermit-os/still #127
ci.yml
on: push
Clippy
23s
Check documentation
19s
Check format
17s
Test with Miri
40s
Test
20s