ci, gha: Ensure only a single workflow processes github.ref at a time

fanquake · Aug 17, 2023 · b0886fd · b0886fd
1 parent 3d05c86
commit b0886fd
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,6 +7,10 @@ on:
     tags-ignore:
       - '**'
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+
 env:
   ### compiler options
   HOST: