Migrate CI to GitHub Actions? #174
Description
It would mean that project will use a single CI service instead of two and CI will have a nicer integration with GitHub UI.
Relevant issue: rust-random/rand#1066
{{ message }}
It would mean that project will use a single CI service instead of two and CI will have a nicer integration with GitHub UI.
Relevant issue: rust-random/rand#1066