Function sourcePrCloseCoveragePullRequestView

src/clawsweeper.ts:12812–12831

(
  item: Item,
  context: ItemContext,
)

  | null;

function sourcePrCloseCoveragePullRequestView(
  item: Item,
  context: ItemContext,
): PrCloseCoverageProofPullRequestView {
  const issue = asRecord(context.issue);
  const pull = asRecord(context.pullRequest);
  return {
    number: item.number,
    title: stringOrUndefined(pull.title) ?? stringOrUndefined(issue.title) ?? item.title,
    url: item.url,
    state: "open",
    mergedAt: null,
    body: compactPrCloseCoverageProofText(
      stringOrUndefined(pull.body) ?? stringOrUndefined(issue.body) ?? "",
    ),
    updatedAt: item.updatedAt,
    comments: (context.comments ?? []).map(compactPrCloseCoverageProofComment),
    commentsTruncated: Boolean(context.counts?.commentsTruncated),
  };
}

function coveringPrCloseCoveragePullRequestView(
  number: number,