diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 0dce8591e..c635be4cc 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,5 +1,11 @@ name: Docs +# If a pull-request is pushed then cancel all previously running jobs related +# to that pull-request +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }} + cancel-in-progress: true + on: push: branches: diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 259cd7186..840909dcf 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -1,5 +1,11 @@ name: Lint +# If a pull-request is pushed then cancel all previously running jobs related +# to that pull-request +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }} + cancel-in-progress: true + on: push: branches: diff --git a/.github/workflows/pre_commit.yml b/.github/workflows/pre_commit.yml index 87f6387d6..d109e5d6a 100644 --- a/.github/workflows/pre_commit.yml +++ b/.github/workflows/pre_commit.yml @@ -1,5 +1,11 @@ name: pre_commit +# If a pull-request is pushed then cancel all previously running jobs related +# to that pull-request +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }} + cancel-in-progress: true + on: push: branches: diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 62c2221c0..d13f6006b 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -1,5 +1,11 @@ name: Test +# If a pull-request is pushed then cancel all previously running jobs related +# to that pull-request +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }} + cancel-in-progress: true + on: push: branches: