#2138: CI: Change concurrency to use PR number instead of branch name

DARMA-tasking · May 8, 2023 · ac33341 · ac33341
1 parent 9f184fc
commit ac33341
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/comment-on-pr.yml b/.github/workflows/comment-on-pr.yml
@@ -4,7 +4,7 @@ on:
   repository_dispatch:
     types: comment-pr
 
-concurrency: ${{ github.event.repository.name }}-${{ github.ref }}
+concurrency: ${{ github.event.repository.name }}-${{ github.event.client_payload.pr_number }}
 
 jobs:
   comment-on-pr: