Merge branch 'main' into main

This commit is contained in:
is-a.dev Bot authored and GitHub committed 2026-08-19 14:03:19 +08:00
commit b0cdd9d3f6
1 file changed
+9 -6
+9 -6
View File
@@ -59,12 +59,15 @@ jobs:
return; return;
} }
const { data: files } = await github.rest.pulls.listFiles({ const files = await github.paginate(
owner: context.repo.owner, github.rest.pulls.listFiles,
repo: context.repo.repo, {
pull_number: context.issue.number, owner: context.repo.owner,
per_page: 100 repo: context.repo.repo,
}); pull_number: context.issue.number,
per_page: 100
}
);
const domainFiles = files.filter( const domainFiles = files.filter(
(file) => (file) =>