fix(ci): preserve Barnacle proof labels (#83735)

* fix(ci): preserve sufficient proof override

* fix(ci): keep sufficient proof on label churn
This commit is contained in:
Tak Hoffman
2026-05-18 14:37:20 -05:00
committed by GitHub
parent 1fb09069c3
commit c92ebd6a41
2 changed files with 56 additions and 4 deletions

View File

@@ -798,10 +798,16 @@ function shouldRemoveProofSufficientLabel(context, proofEvaluation, hasExactHead
if (hasExactHeadClawSweeperProof) {
return false;
}
if (proofEvaluation.status === "override") {
return false;
}
if (!["edited", "synchronize"].includes(context.payload.action)) {
return false;
}
if (proofEvaluation.status !== "passed") {
return true;
}
return ["edited", "synchronize"].includes(context.payload.action);
return true;
}
async function applyPullRequestCandidateLabels(github, context, core, pullRequest, labelSet) {