Move CI from Travis to GithubActions
Closed this issue · 1 comments
heiglandreas commented
Currently the CI-pipeline runs via travis, which by now can be considered as dead.
We should move to something else, possibly GitHub actions as the code is already hosted on github.
github-actions commented
This issue has been hanging around a bit too long, if needed please update or comment.