Closed FranzBusch closed 1 month ago
We want to migrate all of repositories to use GitHub Actions.
This PR adopts GH actions in this repo.
New and shiny CI.
@Lukasa @simonjbeaumont this PR is ready. I have split this into multiple commits to make it easier to review
Motivation
We want to migrate all of repositories to use GitHub Actions.
Modification
This PR adopts GH actions in this repo.
Result
New and shiny CI.