Agreed. Also, PRs on GitHub are run by Travis as well, and its build status is being shown within it, so that all happens implicitly. If somebody submits a PR with a broken build we can easily point to it, it at all this is being overlooked.