Merge pull request #2141 from DARMA-tasking/2138-fix-concurrency-issu…

…es-of-comment-on-pr #2138: CI: Change concurrency to use PR number instead of branch name
DARMA-tasking · May 8, 2023 · 7817eb4 · 7817eb4
2 parents 9f184fc + ac33341
commit 7817eb4
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: