Came across this just now https://github.com/grosser/travis_dedup It sounds like it cancels old builds on a PR. It works via github webhooks.