Follow-on to #351, which adds GitHub Actions, to complement the existing Azure Pipelines (#346), SourceHut (#176), and AppVeyor (#9) (also considered: CircleCI #174, Travis-CI #173). Consolidate all the CI systems into one, probably GitHub Actions, with a superset of the functionality:
see notes in #351 (comment)
Follow-on to #351, which adds GitHub Actions, to complement the existing Azure Pipelines (#346), SourceHut (#176), and AppVeyor (#9) (also considered: CircleCI #174, Travis-CI #173). Consolidate all the CI systems into one, probably GitHub Actions, with a superset of the functionality:
cargo clippy, for reference this is executed in Azure Pipelines (move to GitHub Actions, probably fine as the same job as the build)see notes in #351 (comment)