Travis CI results when a PR is submitted haven't been visible on the PR for a while. For example, the PR I submitted today, #196, and also a PR from July 26 (#188). However, the Travis CI jobs are running! See here. The issue seems to be due to a combination of a travis migration from .org to .com and a change in GitHub policy. See this late April blog post and the preceding post from early April for the likely explanation and fix.
Travis CI results when a PR is submitted haven't been visible on the PR for a while. For example, the PR I submitted today, #196, and also a PR from July 26 (#188). However, the Travis CI jobs are running! See here. The issue seems to be due to a combination of a travis migration from
.org
to.com
and a change in GitHub policy. See this late April blog post and the preceding post from early April for the likely explanation and fix.