Closed mgol closed 2 years ago
@fnagel You may review not just the changes from this PR, but also the whole GitHub Actions config added in #588 and I'll make changes here. I wanted to first land something as without it no actions would run which makes it hard to verify changes.
@fnagel I'd like to merge it on Wednesday at the latest to be able to tackle other PRs on a working builder (the Travis one is broken at the moment for this repo and I don't really want to fix it considering this migration) like #587. If you could review before that day, great, if not, I still hope you can review post-merge. 🙂
OK, let's leave it as-is; we can revisit if it causes issues.
Initial setup was introduce in #588 so that anything is able to even run. This PR aims at migrating the whole setup.
Ref #588