cancel in progress workflows for PRs when they become outdated

herbetom · Dec 20, 2023 · 099c04f · 099c04f
1 parent 9a8ee57
commit 099c04f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/build-gluon.yml b/.github/workflows/build-gluon.yml
@@ -12,6 +12,10 @@ on:
 permissions:
   contents: read
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}-${{ github.event.pull_request.number || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   changed:
     permissions: