diff options
| author | Archez <Archez@users.noreply.github.com> | 2024-10-01 15:32:03 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-01 15:32:03 -0400 |
| commit | 75bc685360debc9ce4d4b8473b5a330d15909cd0 (patch) | |
| tree | 8763c3065b188c2f374f2e2d3fd147c008611463 /.github | |
| parent | 200aaf7be8b0165ea40191776b8e843d4940be8d (diff) | |
Fix pr-artifacts fetch script after version update (#786)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pr-artifacts.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/pr-artifacts.yml b/.github/workflows/pr-artifacts.yml index 2d41a47c5..32cf6fb07 100644 --- a/.github/workflows/pr-artifacts.yml +++ b/.github/workflows/pr-artifacts.yml @@ -20,8 +20,9 @@ jobs: const pullHeadSHA = '${{github.event.workflow_run.head_sha}}'; const pullUserId = ${{github.event.sender.id}}; const prNumber = await (async () => { - const pulls = await github.rest.pulls.list({owner, repo}); - for await (const {data} of github.paginate.iterator(pulls)) { + for await (const { data } of github.paginate.iterator( + github.rest.pulls.list, { owner, repo } + )) { for (const pull of data) { if (pull.head.sha === pullHeadSHA && pull.user.id === pullUserId) { return pull.number; |
