Interface PrCloseCoverageProofModelResult

src/pr-close-coverage-proof.ts:10–17

export type PrCloseCoverageProofModelDecision = "covered" | "keep_open";

export interface PrCloseCoverageProofModelResult {
  sourceSummary: string;
  coveringSummary: string;
  coveredWork: string[];
  uniqueSourceWork: string[];
  decision: PrCloseCoverageProofModelDecision;
  reason: string;
}

export interface PrCloseCoverageProofCloseDecision {
  close: boolean;