diff --git a/pr-checks/diagnostics-without-db.ts b/pr-checks/diagnostics-without-db.ts index b7e99c939..f3327f72c 100644 --- a/pr-checks/diagnostics-without-db.ts +++ b/pr-checks/diagnostics-without-db.ts @@ -17,6 +17,8 @@ const paths = fs.readdirSync(sarifDirectory, { encoding: "utf-8", }); +core.info(`Found ${paths.length} paths in '${sarifDirectory}'.`); + let found = false; for (const diagnosticPath of paths) { if (path.extname(diagnosticPath) !== ".json") { @@ -30,6 +32,9 @@ for (const diagnosticPath of paths) { ) as diagnostics.DiagnosticMessage; if (contents.source.id === DIAGNOSTIC_ID) { + core.info( + `Found '${DIAGNOSTIC_ID}' in '${diagnosticPath}'. Skipping remaining files.`, + ); found = true; break; }