Submit a TD PR
This commit is contained in:
parent
20826e0f08
commit
88c6694ffc
@ -180,7 +180,7 @@ export class CoverageManager {
|
||||
}
|
||||
}
|
||||
}
|
||||
// TODO: Submit a PR to DT
|
||||
// TODO: Remove any cast as soon as https://github.com/DefinitelyTyped/DefinitelyTyped/pull/24233 gets merged
|
||||
return (collector as any).getFinalCoverage();
|
||||
}
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user