diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0ae679bc28..ca21182954 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,5 +1,9 @@ name: build +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + on: push: # needs push event on default branch otherwise cache is evicted when pull request is merged diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 09ba0bd60c..a92f695cc9 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -1,5 +1,9 @@ name: deploy +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + on: workflow_dispatch: push: diff --git a/.github/workflows/merge.yml b/.github/workflows/merge.yml index 4f7a3fa024..ae4e7c778a 100644 --- a/.github/workflows/merge.yml +++ b/.github/workflows/merge.yml @@ -1,5 +1,9 @@ name: merge +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + # open or update publishing PR when there is a push to main on: workflow_dispatch: