From 445c184e3e285de84e214e8a009516146169e0ad Mon Sep 17 00:00:00 2001 From: tdstein Date: Fri, 20 Oct 2023 10:52:25 -0400 Subject: [PATCH] Adds concurrency cancellation on pull requests. --- .github/workflows/pull-request.yaml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/pull-request.yaml b/.github/workflows/pull-request.yaml index 3b11d79291..0e65865de6 100644 --- a/.github/workflows/pull-request.yaml +++ b/.github/workflows/pull-request.yaml @@ -1,6 +1,9 @@ name: Pull Request on: pull_request: +concurrency: + group: ${{ github.head_ref }} + cancel-in-progress: true jobs: agent: uses: ./.github/workflows/agent.yaml