Function prCloseCoverageCoveringUpdatedAt

src/repair/apply-result.ts:1080–1086

(repo: string, number: JsonValue)

}

function prCloseCoverageCoveringUpdatedAt(repo: string, number: JsonValue): string | null {
  const pull = fetchPullRequest(repo, number);
  const pullUpdatedAt = stringOrNull(pull.updated_at ?? pull.updatedAt);
  if (pullUpdatedAt) return pullUpdatedAt;
  const issue = fetchIssue(repo, number);
  return stringOrNull(issue.updated_at ?? issue.updatedAt);
}

function validatePrCloseCoverageCoveringSafety({
  result,