From b8c5e3219d07cb4a0f356feb368e707990b93820 Mon Sep 17 00:00:00 2001 From: Minionguyjpro Date: Tue, 11 Jul 2023 11:14:51 +0200 Subject: [PATCH] Update index.js --- dist/index.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dist/index.js b/dist/index.js index ab7e833..79f8c61 100644 --- a/dist/index.js +++ b/dist/index.js @@ -9,7 +9,7 @@ const path = core.getInput('path'); var exec = require('child_process').exec; if (process.platform === 'win32') { - if (!workspacePath) { + if (workspacePath === "") { const code = 1; console.error('Error: the repository was not cloned! Please specify the actions/checkout Github Action before this step.') process.exit(code);