[ci] add settings to cancel workflow when new commit pushed

Signed-off-by: Avimitin <[email protected]>
chipsalliance · Jan 20, 2024 · 2fcbebb · 2fcbebb
1 parent 5ca1666
commit 2fcbebb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -4,6 +4,11 @@ env:
   USER: runner
   JAVA_OPTS: "-Duser.home=/run/github-runner/sequencer"
 
+# Cancel the current workflow when new commit pushed
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
+  cancel-in-progress: true
+
 jobs:
   gen-matrix:
     name: "Prepare for running testcases"