chore: publish dist

jpoehnelt · Mar 29, 2020 · b14dfb6 · b14dfb6
1 parent 5a23c38
commit b14dfb6
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/dist/index.js b/dist/index.js
@@ -2141,12 +2141,8 @@ function run() {
             yield Promise.all(repos.map((repo) => __awaiter(this, void 0, void 0, function* () { return github_1.setSecretsForRepo(octokit, secrets, repo, config.DRY_RUN); })));
         }
         catch (error) {
-            /* istanbul ignore next */
-            () => {
-                // https://github.com/gotwarlost/istanbul/issues/361
-                core.error(error);
-                core.setFailed(error.message);
-            };
+            core.error(error);
+            core.setFailed(error.message);
         }
     });
 }