File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -163,7 +163,7 @@ jobs:
163163
164164 merge :
165165 permissions :
166- issues : write
166+ pull-requests : write
167167 runs-on : ubuntu-latest
168168 needs : [bench-mlkem, bench-mldsa]
169169 steps :
@@ -254,7 +254,7 @@ jobs:
254254 BASE_COMMIT_URL="${{ github.server_url }}/${{ github.repository }}/commit/${BASE_HASH}"
255255
256256 cat >"$GITHUB_OUTPUT" <<ACTUALEOF
257- body <<EOF
257+ comment_body <<EOF
258258 *beep boop, I am the benchmark bot*
259259
260260 Comparing PR commit [$PR_HEAD_HASH_SHORT]($PR_COMMIT_URL) against baseline [$BASE_HASH_SHORT]($BASE_COMMIT_URL).
@@ -270,7 +270,7 @@ jobs:
270270 - name : Post comment to PR
271271 uses : actions/github-script@v7
272272 env :
273- COMMENT_BODY : ${{ steps.read_comment .outputs.body }}
273+ COMMENT_BODY : ${{ steps.build_comment .outputs.comment_body }}
274274 with :
275275 script : |
276276 github.rest.issues.createComment({
You can’t perform that action at this time.
0 commit comments