Better scope PR workflow concurrency

ponylang · Aug 16, 2023 · 82d0ed7 · 82d0ed7
1 parent 7e6d1b8
commit 82d0ed7
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: