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