After not pushing anything for 10 months, new GitHub pushes won’t trigger builds on Travis anymore.
I can trigger new builds manually, which will work (but only for branches, tags cannot be triggered manually).
10 months before, builds were triggered just fine, and I have not changed anything since then.
Here is a link to the Travis project.
Things that I have already tried, to no avail:
- Revoking the "Travis CI for Open Source* OAuth application on GitHub, and re-adding it.
- Disabling the Travis GitHub webhook, and re-enabling it.
- Manually re-triggering the Travis GitHub webhook.
Please note that my GitHub organization also contains many more repos. I have not yet tried if automatic builds work for the other repositories.