Since this morning, Travis CI results do not seem to be properly reported to GitHub any more. At least, in this PR I fail to get any answer from Travis. Sometimes the tests are run on the branch and sometimes not, but each time the test results are not properly reported back.
https://www.traviscistatus.com/ is green, so Travis monitoring seems to be blind to this problem, too.
EDIT: the “retries” each trigger a new build on the “auto” branch, see https://travis-ci.com/github/rust-lang/miri/branches. Not all of them happen though, and some just stay yellow.