Difference between Travis CI tests: pr and push | Hacker News Reader