Closed rnro closed 3 weeks ago
Migrate CI to use GitHub Actions.
To migrate to GitHub actions and centralised infrastructure.
Changes of note:
GitHub Actions CI in parity with old CI plus benchmarks CI.
updated branch protection rules
Migrate CI to use GitHub Actions.
Motivation:
To migrate to GitHub actions and centralised infrastructure.
Modifications:
Changes of note:
Result:
GitHub Actions CI in parity with old CI plus benchmarks CI.