Use pull_request_target event (#1182)

rather than pull_request to make the comments work on PR https://github.com/marketplace/actions/comment-pull-request
mwouts · Dec 2, 2023 · 40643de · 40643de
1 parent ab2e581
commit 40643de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/step_comment-pr.yml b/.github/workflows/step_comment-pr.yml
@@ -8,7 +8,7 @@ jobs:
   comment-pr:
     runs-on: ubuntu-latest
     name: Comment PR
-    if: github.event_name == 'pull_request'
+    if: github.event_name == 'pull_request_target'
     steps:
       - name: Checkout
         uses: actions/checkout@v3