github: cancel runs for the same pull request

ahayzen · Sep 10, 2024 · 9668fbc · 9668fbc
1 parent 2f203ff
commit 9668fbc
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -11,6 +11,11 @@ on:
   pull_request:
   workflow_dispatch:
 
+# Cancel any previous runs for the same pull request
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   license-check:
     runs-on: ubuntu-22.04