For some reason, the Travis CI badge no longer shows on PRs. The tests are running fine on Travis, as far as I can tell.