Merge pull request #416 from Dirreke/release #602
rust.yml
on: push
check-format
22s
check
25s
check-doc
27s
clippy
22s
coverage
2m 55s