Merge pull request #24 from hermit-os/dependabot/github_actions/actio… #144
github-merge-queue[bot]ci.yml
on: push
Clippy
22s
Check documentation
16s
Check format
16s
Test with Miri
36s
Test
15s