Merge pull request #399 from Dirreke/fix-CI #572
rust.yml
on: push
check-format
9s
check
27s
check-doc
28s
clippy
18s
coverage
2m 50s