From 68f8e470d1c81100d95f4d5a1872711ae24733a9 Mon Sep 17 00:00:00 2001 From: Owen Voke Date: Fri, 26 Jun 2020 09:07:39 +0100 Subject: [PATCH] Fix PULL_REQUEST_ID reference when not set --- scripts/check-pr.sh | 2 +- scripts/test.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/check-pr.sh b/scripts/check-pr.sh index 0595715fe..f5db3ab30 100644 --- a/scripts/check-pr.sh +++ b/scripts/check-pr.sh @@ -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 diff --git a/scripts/test.sh b/scripts/test.sh index eb5da6d44..1b73b18d5 100644 --- a/scripts/test.sh +++ b/scripts/test.sh @@ -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