dilim/moby
1
0 Fork 0
mirror of https://github.com/moby/moby.git synced 2026-11-06 05:17:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

ci: polish workflow PR lookup naming

Browse Source
This commit is contained in:
copilot-swe-agent[bot] authored and GitHub committed 2026-06-12 12:58:58 +00:00
1 parent 05e747da0e
commit b3e753d4f5
1 file changed
+7 -7
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/comment-validation-failures.yml
+7 -7
View File
@@ -80,7 +80,7 @@ jobs:
}
async function getPullRequestForRun() {
const candidatePullNumbers = new Set((run.pull_requests ?? []).map((pullRequest) => pullRequest.number));
const candidatePullNumbers = new Set((run.pull_requests ?? []).map((prRef) => prRef.number));
const headOwner = run.head_repository?.owner?.login;
if (headOwner && run.head_branch) {
@@ -98,11 +98,11 @@ jobs:
}
let candidatePullRequest = null;
for (const pull_number of candidatePullNumbers) {
for (const pullNumber of candidatePullNumbers) {
const { data: pullRequest } = await github.rest.pulls.get({
owner,
repo,
pull_number,
pull_number: pullNumber,
});
if (!candidatePullRequest) {
@@ -123,7 +123,7 @@ jobs:
}
const { pullRequest, matchesHeadSha } = pullRequestMatch;
const pull_number = pullRequest.number;
const pullNumber = pullRequest.number;
if (!matchesHeadSha) {
core.info(`Ignoring stale workflow run for ${run.head_sha}; current head is ${pullRequest.head.sha}.`);
@@ -132,7 +132,7 @@ jobs:
if (['COLLABORATOR', 'MEMBER', 'OWNER'].includes(pullRequest.author_association)) {
core.info(`Skipping guidance comment for ${pullRequest.author_association.toLowerCase()} contributor.`);
await deleteExistingComment(pull_number);
await deleteExistingComment(pullNumber);
return;
}
@@ -179,7 +179,7 @@ jobs:
}
}
const existingComment = await findExistingComment(pull_number);
const existingComment = await findExistingComment(pullNumber);
if (failures.size === 0) {
if (existingComment) {
await github.rest.issues.deleteComment({
@@ -222,6 +222,6 @@ jobs:
await github.rest.issues.createComment({
owner,
repo,
issue_number: pull_number,
issue_number: pullNumber,
body,
});