chore: use GHA concurency to cancel previous run at push

airtai · Jun 7, 2024 · a603881 · a603881
1 parent 9da870d
commit a603881
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 0 deletions.
diff --git a/.github/workflows/pr_codeql.yml b/.github/workflows/pr_codeql.yml
@@ -23,6 +23,10 @@ on:
   schedule:
     - cron: '39 20 * * 0'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   analyze:
     if: github.event.pull_request.draft == false

diff --git a/.github/workflows/pr_dependency-review.yaml b/.github/workflows/pr_dependency-review.yaml
@@ -16,6 +16,10 @@ on:
     paths:
       - pyproject.toml
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 permissions:
   contents: read
 

diff --git a/.github/workflows/pr_tests.yaml b/.github/workflows/pr_tests.yaml
@@ -12,6 +12,10 @@ on:
     types:
       - checks_requested
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   static_analysis:
     if: github.event.pull_request.draft == false