diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 7ef84762..bd6b383d 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -6,6 +6,10 @@ on: # yamllint disable-line rule:truthy - master pull_request: +concurrency: + group: ${{ github.workflow }}-${{ github.ref }}-${{ github.head_ref }} + cancel-in-progress: ${{ github.event_name == 'pull_request' }} + jobs: make_html: diff --git a/.github/workflows/linting.yml b/.github/workflows/linting.yml index 652a1a9d..bc5d87b3 100644 --- a/.github/workflows/linting.yml +++ b/.github/workflows/linting.yml @@ -6,6 +6,10 @@ on: # yamllint disable-line rule:truthy - master pull_request: +concurrency: + group: ${{ github.workflow }}-${{ github.ref }}-${{ github.head_ref }} + cancel-in-progress: ${{ github.event_name == 'pull_request' }} + jobs: mypy: runs-on: ubuntu-latest diff --git a/.github/workflows/testing.yml b/.github/workflows/testing.yml index f126602e..c5e025be 100644 --- a/.github/workflows/testing.yml +++ b/.github/workflows/testing.yml @@ -6,6 +6,10 @@ on: # yamllint disable-line rule:truthy - master pull_request: +concurrency: + group: ${{ github.workflow }}-${{ github.ref }}-${{ github.head_ref }} + cancel-in-progress: ${{ github.event_name == 'pull_request' }} + jobs: pytest: