fix(desktop): retain unsupported filename coverage

Fixes #6665
This commit is contained in:
morluto committed 2026-10-23 21:28:10 +08:00
1 parent 47900f99c5
commit 992e930b86
4 files changed
+38

No files matched your search

@@ -271,6 +271,12 @@ const scanDirectory = async (
kind: omission.kind,
});
},
onCoverage: (coverage) => {
if (coverage.examinedEntries !== undefined)
entries = coverage.examinedEntries;
if (coverage.status !== "complete") partial = true;
limitations.push(...coverage.limitations);
},
})) {
entries++;
abortIfNeeded(signal);