File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree 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@64b8e914979889d746c99dea15a76e77ef64580a # v3.10 .0.8.3.10 .0
227+ uses : mshick/add-pr-comment@8e4927817251f1ff60c001f04568532b38e0b4a0 # v3.11 .0.8.3.11 .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@64b8e914979889d746c99dea15a76e77ef64580a # v3.10 .0.8.3.10 .0
271+ uses : mshick/add-pr-comment@8e4927817251f1ff60c001f04568532b38e0b4a0 # v3.11 .0.8.3.11 .0
272272 with :
273273 message-id : url_to_docs
274274 find : |
Original file line number Diff line number Diff line change @@ -696,7 +696,7 @@ jobs:
696696
697697 - name : Post result to PR
698698 if : ${{ github.event.pull_request && !github.event.pull_request.head.repo.fork }}
699- uses : mshick/add-pr-comment@64b8e914979889d746c99dea15a76e77ef64580a # v3.10 .0.8.3.10 .0
699+ uses : mshick/add-pr-comment@8e4927817251f1ff60c001f04568532b38e0b4a0 # v3.11 .0.8.3.11 .0
700700 with :
701701 message-id : array_api_results
702702 message : |
You can’t perform that action at this time.
0 commit comments