Merge pull request #392 from Dirreke/master #566
rust.yml
on: push
check-format
7s
check
40s
check-doc
21s
clippy
26s
coverage
2m 37s