Closed rnro closed 4 weeks ago
@Lukasa When this PR is merged we want to update the branch protection rules and hooks but in this case we want to retain the old CI PR validation checks because they (now only) run allocation count tests. We want to remove the documentation, soundness, API breakage checks though.
Migrate CI to use GitHub Actions with the exception of allocation count performance tests which will remain on the old CI for now.
Motivation:
To migrate to GitHub actions and centralised infrastructure.
Modifications:
Changes of note:
Result:
Feature parity with old CI, all-but-allocations migrated to GHA.