ci: cancel runs on new pushes

[skip ci]
This commit is contained in:
Henry Schreiner
2021-10-12 11:03:37 -04:00
committed by GitHub
parent e60ece0370
commit 24a04fdfd9
+4
View File
@@ -10,6 +10,10 @@ on:
workflow_dispatch:
# allow manual runs on branches without a PR
concurrency:
group: test-${{ github.ref }}
cancel-in-progress: true
jobs:
pre-commit:
name: Pre-commit checks (mypy, flake8, etc.)