Closed Hywan closed 4 years ago
This PR migrates CI from CircleCI to Github Actions. It also creates a lint job, and fix Clippy warnings.
lint
bors r+
This PR migrates CI from CircleCI to Github Actions. It also creates a
lint
job, and fix Clippy warnings.