Cancel builds when PR is closed (JabRef#10077)

koppor · Jul 12, 2023 · 1849238 · 1849238
1 parent 4838899
commit 1849238
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/cleanup_pr.yml b/.github/workflows/cleanup_pr.yml
@@ -4,6 +4,10 @@ on:
   pull_request:
     types: [closed]
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   cleanup:
     runs-on: ubuntu-latest