File tree 1 file changed +5
-4
lines changed
1 file changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -53,14 +53,14 @@ jobs:
53
53
54
54
# Define environment variables:
55
55
env :
56
- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
57
56
PR_NUMBER : ${{ github.event.pull_request.number }}
58
57
59
58
# Define the sequence of job steps...
60
59
steps :
61
60
# Checkout repository:
62
61
- name : ' Checkout repository'
63
- uses : actions/checkout@v4
62
+ # Pin action to full length commit SHA
63
+ uses : actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
64
64
with :
65
65
# Fetch all commits to ensure we have the full commit history:
66
66
fetch-depth : 0
87
87
88
88
# Post commit message as PR comment:
89
89
- name : ' Post commit message as PR comment'
90
- uses : peter-evans/create-or-update-comment@v4
90
+ # Pin action to full length commit SHA
91
+ uses : peter-evans/create-or-update-comment@71345be0265236311c031f5c7866368bd1eff043 # v4.0.0
91
92
with :
92
- token : ${{ secrets.CHATBOT_GITHUB_TOKEN }}
93
+ token : ${{ secrets.STDLIB_BOT_FGPAT_REPO_WRITE }}
93
94
issue-number : ${{ github.event.pull_request.number }}
94
95
body : |
95
96
### PR Commit Message
You can’t perform that action at this time.
0 commit comments