Push build is pending but can't be found on Travis at all

github-integration
bug
#1

I did a pull request today and the PR build went fine. The push build however stayed on “pending” according to github.

So I click on the link “Details”, and I can’t find any pending build on Travis. I went ahead and merged anyway as a colleague needed the master branch, but even after doing so there’s no sign of that pending build to be found. Am I missing something or did this build just disappear in the cracks of the interwebs?

Link to the travis site of the repo : https://travis-ci.org/CenterForStatistics-UGent/xnet/requests
Link to the repo : https://github.com/CenterForStatistics-UGent/xnet/commits/master

#2

Update: we’re 7 days later and that check still hasn’t completed according to github, while there’s absolutely no sign of that check every been run on Travis.

Anyone who knows what went wrong?