Cancel a build when a new commit is pushed on the PR

A post was merged into an existing topic: Rolling builds / De-duplicate builds for pull requests when pull request is updated