Closed rnro closed 1 month ago
Migrate CI to use GitHub Actions.
To migrate to GitHub actions and centralised infrastructure.
Changes of note:
Feature parity with old CI minus allocation tests which remain on the old CI.
Migrate CI to use GitHub Actions.
Motivation:
To migrate to GitHub actions and centralised infrastructure.
Modifications:
Changes of note:
Result:
Feature parity with old CI minus allocation tests which remain on the old CI.