Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Enable GitHub actions cancel-in-progress for PRs
Pushing many commits to a pull request in a short amount of time can stall the merge builds and also wastes energy unnecessarily. Enable concurrency to cancel workflows of old commits in pull requests. Generate a common group name for pull requests using github.event.pull_request.url with github.run_id as a fallback for branches, which is unique and always available. Closes GH-10799
- Loading branch information