Skip to content

Commit 020ab8c

Browse files
committed
update
1 parent 7757e81 commit 020ab8c

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

scripts/needs_testrun.py

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -129,8 +129,11 @@ def get_changed_files(pr_number: int, sha: t.Optional[str] = None) -> t.Set[str]
129129
for page in count(1):
130130
result = {_["filename"] for _ in github_api(f"/pulls/{pr_number}/files", {"page": page})}
131131
if not result:
132+
# End of pagination, return collected files
132133
return files
133134
files |= result
135+
# If we got here, we successfully collected files from all pages
136+
return files
134137
except Exception:
135138
LOGGER.warning("Failed to get changed files from GitHub API", exc_info=True)
136139

@@ -151,7 +154,7 @@ def needs_testrun(suite: str, pr_number: int, sha: t.Optional[str] = None) -> bo
151154
... needs_testrun("debugger", 6485)
152155
... needs_testrun("debugger", 6388)
153156
... needs_testrun("foobar", 6412)
154-
... needs_testrun("profiling::profile", 11690)
157+
... needs_testrun("profiling_v2::profile_v2", 11690)
155158
True
156159
True
157160
True

0 commit comments

Comments
 (0)