This commit is contained in:
Mateo Wang 2026-08-27 14:33:12 -07:00 committed by GitHub
commit d38637031c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -627,7 +627,9 @@ def cmd_check(head: Mapping[str, int], base_ref: str) -> None:
print(
f"FAIL: basedpyright produced no errors, but {BUDGET_PATH.name} allows "
f"up to ~{expected}. The type checker almost certainly crashed or emitted "
f"nothing; refusing to certify a vacuous run."
f"nothing; refusing to certify a vacuous run. This usually means this "
f"branch is missing type checker fixes from its base branch: pull the "
f"latest {DEFAULT_BASE.removeprefix('origin/')} and merge or rebase onto it."
)
raise SystemExit(1)
if not over_ceiling(head, budget):