diff --git a/lib/linter.sh b/lib/linter.sh index d06d44cc..4fb1f3c4 100755 --- a/lib/linter.sh +++ b/lib/linter.sh @@ -597,6 +597,11 @@ GetGitHubVars() { GITHUB_WORKSPACE="$DEFAULT_WORKSPACE" fi + if [ ! -d "$GITHUB_WORKSPACE" ]; then + echo -e "${NC}${B[R]}${F[W]}ERROR:${NC} Provided volume is not a directory!${NC}" + exit 1 + fi + echo "Linting all files in mapped directory:[$DEFAULT_WORKSPACE]" # No need to touch or set the GITHUB_SHA