Better scope PR workflow concurrency

ponylang · Aug 16, 2023 · 1548017 · 1548017
1 parent c3eb345
commit 1548017
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -3,7 +3,7 @@ name: PR
 on: pull_request
 
 concurrency:
-  group: ${{ github.ref }}
+  group: pr-${{ github.ref }}
   cancel-in-progress: true
 
 jobs: