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

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

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?

Imprint