diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 3cc22e682..dee90cc71 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -2,6 +2,10 @@ name: Pull request on: pull_request +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number }} + cancel-in-progress: true + env: ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION: true OLD_SIMULATION_GATEWAY_URL: ${{ vars.OLD_SIMULATION_GATEWAY_URL }} diff --git a/changelog.d/3853.changed.md b/changelog.d/3853.changed.md new file mode 100644 index 000000000..a19aa7c07 --- /dev/null +++ b/changelog.d/3853.changed.md @@ -0,0 +1 @@ +Pull request validation now cancels runs for superseded commits.