add new dist

TomChv · Jul 30, 2020 · 767e4f4 · 767e4f4
1 parent 6a87c43
commit 767e4f4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 7 deletions.
diff --git a/dist/index.js b/dist/index.js
@@ -3583,18 +3583,15 @@ exports.poll = (options) => __awaiter(void 0, void 0, void 0, function* () {
         log(`Retrieved ${result.data.check_runs.length} check runs named ${checkName}`);
         const check = result.data.check_runs;
         if (!check || !check.length) {
-            log(`${checkName} job does not exist. Abort waiting`);
+            log(`${checkName} job does not exist. Conclusion : 'not found'`);
             return 'not found';
         }
-        else {
-            log(`${checkName} job find`);
-        }
         if (check.find(checkRun => checkRun.status === 'queued')) {
-            log(`${checkName} job is in queue`);
+            log(`Found a ${checkName} job in queue`);
             deadline = now + timeoutSeconds * 1000;
         }
         if (check.find(checkRun => checkRun.status === 'in_progress')) {
-            log(`${checkName} job is in progress`);
+            log(`Found a ${checkName} job in progress`);
         }
         const completedCheck = result.data.check_runs.find(checkRun => checkRun.status === 'completed');
         if (completedCheck) {

diff --git a/dist/index.js.map b/dist/index.js.map