-
Notifications
You must be signed in to change notification settings - Fork 74
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Travis changes #763
Comments
We should probably think about switching from Travis to GitHub Actions, anyway. |
I have transfer our repositories from travis-ci.org to travis-ci.com. I have also manually triggered a build of the master and the latest PR, both of them worked. Everything seems to be working now. I have updated the required status check for our PRs, now it is called "Travis CI - Pull Request". In the older PRs it has not been triggered automatically, so the owner of each PR should push again the branch to force travis-ci.com to run the build. That should work for now, in the longer term it will probably be better to switch to GitHub Actions as @jacg said. I have other tasks now, but I will try to have a look at it in the future. |
Resolved by #768 |
Travis is completely moving to travis-ci.com domain as given in the notification:
I guess the owner of a repository Dr @jmbenlloch would need to fix our travis account. This might also be related to Travis not being built for PR #761.
The text was updated successfully, but these errors were encountered: