chore(build): update dist/index.js

AriPerkkio · Aug 8, 2021 · cd0d286 · cd0d286
1 parent 30035d3
commit cd0d286
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dist/index.js b/dist/index.js
@@ -5947,6 +5947,7 @@ async function run() {
     await core3.group("Running eslint-remote-tester", () => runTester(eslintRemoteTesterConfig));
     const resultCount = await core3.group("Posting results", async () => {
       const testResults = JSON.parse(import_fs2.default.readFileSync(RESULTS_TMP, "utf8"));
+      core3.info(`Scanned ${testResults.repositoryCount} repositories`);
       const results = testResults.results || [];
       if (results.length === 0) {
         core3.info("Skipping result posting due to 0 results");