diff options
Diffstat (limited to '.github/workflows/mypy.yml')
| -rw-r--r-- | .github/workflows/mypy.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml index 1bf20de4..b6451876 100644 --- a/.github/workflows/mypy.yml +++ b/.github/workflows/mypy.yml @@ -2,6 +2,10 @@ name: Mypy on: [push, pull_request] +concurrency: + group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} + cancel-in-progress: true + jobs: type-check: runs-on: ubuntu-latest |