File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -214,8 +214,8 @@ jobs:
214214 # Create a comment on the pull request informing the user whether the pull request is missing required files:
215215 - name : ' Create a comment on the pull request informing the user whether the pull request is missing required files'
216216 if : steps.check-reviewers.outputs.is_stdlib_bot == 'true'
217- # Pin action to full length commit SHA corresponding to v3.0.2
218- uses : peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa
217+ # Pin action to full length commit SHA
218+ uses : peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa # v3.0.2
219219 with :
220220 # Specify the issue or pull request number:
221221 issue-number : ${{ github.event.pull_request.number }}
Original file line number Diff line number Diff line change @@ -107,8 +107,8 @@ jobs:
107107 # Add a comment to the pull request:
108108 - name : ' Add comment to pull request'
109109 if : steps.check-branch-name.outputs.issue-number != ''
110- # Pin action to full length commit SHA corresponding to v3.0.2
111- uses : peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa
110+ # Pin action to full length commit SHA
111+ uses : peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa # v3.0.2
112112 with :
113113 issue-number : ${{ steps.check-branch-name.outputs.issue-number }}
114114 body : |
Original file line number Diff line number Diff line change @@ -167,8 +167,8 @@ jobs:
167167
168168 # Add a comment to the pull request:
169169 - name : ' Add comment to pull request'
170- # Pin action to full length commit SHA corresponding to v3.0.2
171- uses : peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa
170+ # Pin action to full length commit SHA
171+ uses : peter-evans/create-or-update-comment@c6c9a1a66007646a28c153e2a8580a5bad27bcfa # v3.0.2
172172 with :
173173 issue-number : ${{ github.event.pull_request.number }}
174174 body : |
You can’t perform that action at this time.
0 commit comments