Fix PULL_REQUEST_ID reference when not set

client-spec/clarity
Owen Voke 2020-06-26 09:07:39 +01:00 committed by Marco Bonelli
parent 59c293a706
commit 68f8e470d1
2 changed files with 2 additions and 2 deletions

View File

@ -110,7 +110,7 @@ MSG_NOT_MD='The file `%s` does not have a `.md` extension.\n'
PLATFORMS=$(ls pages/)
if [ "$CI" = "true" ] && [ "$GITHUB_REPOSITORY" = "tldr-pages/tldr" ] && [ "$PULL_REQUEST_ID" != "false" ]; then
if [ "$CI" = "true" ] && [ "$GITHUB_REPOSITORY" = "tldr-pages/tldr" ] && [ "$PULL_REQUEST_ID" != "" ]; then
check_diff
check_structure
else

View File

@ -43,7 +43,7 @@ function run_checks_pr {
# MAIN
###################################
if [ "$CI" = "true" ] && [ "$GITHUB_REPOSITORY" = "tldr-pages/tldr" ] && [ "$PULL_REQUEST_ID" != "false" ]; then
if [ "$CI" = "true" ] && [ "$GITHUB_REPOSITORY" = "tldr-pages/tldr" ] && [ "$PULL_REQUEST_ID" != "" ]; then
run_checks_pr
run_tests_pr
else