Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Updating Pull Requests should cancel previous runs (#432)
When iterating on PRs sometimes we queue up a large number of test runs. We only really care about the last of these, so arrange for later runs to cancel any run in progress using the technique outlined in https://stackoverflow.com/a/72408109
- Loading branch information