It looks like Travis is slowly closing down their old interface. I have seen a number of repos running into issues with Travis not reporting back on branches/pull requests anymore.
This does not (yet) seem to be the case for this repo, but I think pre-empting this would be a good thing™.
I don't have the authorization to make the necessary changes myself, so I'd like to ask the powers that be to make them. @mjrider Have you got access ?
Based on my experiences with other repos, this is what needs to happen:
How to get TravisCI working again if it's currently not reporting:
On GitHub/ repo Settings: Remove the Webhook integration.
On GitHub/ marketplace: Install the Travis GH App
On travis-ci.com: sign up for the migrations beta for the organisation
On travis-ci.com: migrate all relevant repos
If this hasn't been done before PRs start failing to report back: Force push problem PRs
Once a first build has finished under the new system, change the protected branches to require "Travis CI - Pull Request" and un-require "continuous integration"
Problem/Motivation
It looks like Travis is slowly closing down their old interface. I have seen a number of repos running into issues with Travis not reporting back on branches/pull requests anymore.
This does not (yet) seem to be the case for this repo, but I think pre-empting this would be a good thing™.
I don't have the authorization to make the necessary changes myself, so I'd like to ask the powers that be to make them. @mjrider Have you got access ?
Based on my experiences with other repos, this is what needs to happen:
Source: https://twitter.com/jrf_nl/status/1255854838597984262