aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTSR Berry <20988865+TSRBerry@users.noreply.github.com>2024-05-01 18:13:09 +0200
committerTSR Berry <20988865+TSRBerry@users.noreply.github.com>2024-05-01 18:13:09 +0200
commitb51d57b6426345b418b9c354e775612c8b6d1e46 (patch)
treed0203fc843ee9fbdf9ed7a59aaa14a3e535786b1
parent54c16f40521589417e2be5db56fce0531aa492ae (diff)
Fix fetch failure when iterating over PRsdependabot/github_actions/actions/github-script-7
-rw-r--r--.github/workflows/nightly_pr_comment.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/nightly_pr_comment.yml b/.github/workflows/nightly_pr_comment.yml
index 6914cb063..d92dee5c8 100644
--- a/.github/workflows/nightly_pr_comment.yml
+++ b/.github/workflows/nightly_pr_comment.yml
@@ -19,7 +19,7 @@ jobs:
19 const pull_head_sha = '${{github.event.workflow_run.head_sha}}'; 19 const pull_head_sha = '${{github.event.workflow_run.head_sha}}';
20 20
21 const issue_number = await (async () => { 21 const issue_number = await (async () => {
22 const pulls = await github.rest.pulls.list({owner, repo}); 22 const pulls = await github.rest.pulls.list.endpoint.merge({owner, repo});
23 for await (const {data} of github.paginate.iterator(pulls)) { 23 for await (const {data} of github.paginate.iterator(pulls)) {
24 for (const pull of data) { 24 for (const pull of data) {
25 if (pull.head.sha === pull_head_sha) { 25 if (pull.head.sha === pull_head_sha) {
@@ -68,4 +68,4 @@ jobs:
68 } else { 68 } else {
69 core.info(`Creating a comment`); 69 core.info(`Creating a comment`);
70 await github.rest.issues.createComment({repo, owner, issue_number, body}); 70 await github.rest.issues.createComment({repo, owner, issue_number, body});
71 } \ No newline at end of file 71 }