a week ago, I reported a problem where Travis stopped reporting the build status to GitHub:
Back then, I solved this problem for me by removing Travis’ access from my GitHub account and setting it up again.
Well, guess what? The problem happened again.
This PR had a problem that was caught by Travis CI (thanks!), so I pushed another commit and the build status for this new commit is not reported to GitHub, even though the build passed just fine:
Since I do not want to revoke Travis’ access to my GitHub account every week, I am again asking for help.
This time I explicitly did not do anything yet to try to make this work again so that it becomes clear what exactly I did based on your suggestions.
I do not seem to be alone with this problem. Right now, this web page tells me that my problem is similar to:
- Fails to report build status to GitHub (my own post from last week)
- Build status not sent to github (was working up till 24h ago) (a report from February)
Edit: Actually, I just noticed that the previous commit in my PR is still shown as Pending on Travis CI. Thus, I guess the GitHub integration broke between when this build started and when it finished.