File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed
Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -224,7 +224,7 @@ jobs:
224224 if : env.GH_EVENT_OPEN_PR_UPSTREAM == 'true'
225225 env :
226226 PR_NUM : ${{ github.event.number }}
227- uses : mshick/add-pr-comment@b8f338c590a895d50bcbfa6c5859251edc8952fc # v2.8.2
227+ uses : mshick/add-pr-comment@ffd016c7e151d97d69d21a843022fd4cd5b96fe5 # v3.9.0.8.3.9.0
228228 with :
229229 message-id : url_to_docs
230230 message : |
@@ -268,7 +268,7 @@ jobs:
268268 git push tokened_docs gh-pages
269269
270270 - name : Modify the comment with URL to official documentation
271- uses : mshick/add-pr-comment@b8f338c590a895d50bcbfa6c5859251edc8952fc # v2.8.2
271+ uses : mshick/add-pr-comment@ffd016c7e151d97d69d21a843022fd4cd5b96fe5 # v3.9.0.8.3.9.0
272272 with :
273273 message-id : url_to_docs
274274 find : |
Original file line number Diff line number Diff line change @@ -654,7 +654,7 @@ jobs:
654654
655655 - name : Post result to PR
656656 if : ${{ github.event.pull_request && !github.event.pull_request.head.repo.fork }}
657- uses : mshick/add-pr-comment@b8f338c590a895d50bcbfa6c5859251edc8952fc # v2.8.2
657+ uses : mshick/add-pr-comment@ffd016c7e151d97d69d21a843022fd4cd5b96fe5 # v3.9.0.8.3.9.0
658658 with :
659659 message-id : array_api_results
660660 message : |
You can’t perform that action at this time.
0 commit comments