chore: cancel already running job

filecoin-project · Aug 14, 2024 · 11bb485 · 11bb485
1 parent a113a01
commit 11bb485
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,6 +4,12 @@ on: [pull_request, push]
   #push:
   #  branches: master
 
+# Cancel a job if there's a new on on the same branch started.
+# Based on https://stackoverflow.com/questions/58895283/stop-already-running-workflow-job-in-github-actions/67223051#67223051
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 env:
   #RUSTFLAGS: "-Dwarnings"
   CARGO_INCREMENTAL: 0