fix: change coverage provider

This commit is contained in:
Tom Keller
2022-10-18 18:11:50 -07:00
parent 49bbbeb420
commit 475e183cb5
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -27,7 +27,7 @@ export async function cleanup() {
core.setFailed(errorMessage(error)); core.setFailed(errorMessage(error));
} }
} }
/* istanbul ignore next */ /* c8 ignore start */
if (require.main === module) { if (require.main === module) {
(async () => { (async () => {
await cleanup(); await cleanup();
+1 -1
View File
@@ -197,7 +197,7 @@ export async function run() {
} }
} }
/* istanbul ignore next */ /* c8 ignore start */
if (require.main === module) { if (require.main === module) {
(async () => { (async () => {
await run(); await run();