CI: Cancel previous runs for pull requests automatically (verilator#4512

)
VarunKoyyalagunta · Sep 23, 2023 · d64c023 · d64c023
1 parent 429cb1f
commit d64c023
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -23,6 +23,10 @@ defaults:
     shell: bash
     working-directory: repo
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
 
   build:

diff --git a/.github/workflows/msbuild.yml b/.github/workflows/msbuild.yml
@@ -22,6 +22,10 @@ defaults:
   run:
     working-directory: repo
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
 
    windows: