mirror of
https://github.com/super-linter/super-linter.git
synced 2024-11-09 18:43:34 -05:00
Merge pull request #389 from leviem1/directory-check
Added check to ensure volume is directory
This commit is contained in:
commit
1e3df9f7f8
1 changed files with 5 additions and 0 deletions
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue