Interface InstallProgress

interface InstallProgress {
    artifact: "editorBuild" | "texliveCache";
    phase: "download" | "verify" | "promote";
    received: number;
    total: number;
}