Various recent PRs (eg https://github.com/AltSysrq/proptest/pull/191) have a Travis build, but not a travis status update. That PR built fine in Travis, but others did not.