Better scope PR workflow concurrency

ponylang · Aug 16, 2023 · 17c6693 · 17c6693
1 parent d7598fc
commit 17c6693
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: