summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMoritz Angermann <moritz.angermann@gmail.com>2021-04-20 21:25:44 +0800
committerMoritz Angermann <moritz.angermann@gmail.com>2021-05-07 09:19:48 +0800
commita664a2ad6432ad19799cf5670311f5d1aaac0559 (patch)
treec335c6739ca5d63f2f1a93707547539fd24a0aa1
parentcceb461a8cd8d48a077eabceab1907d874ba4852 (diff)
downloadhaskell-a664a2ad6432ad19799cf5670311f5d1aaac0559.tar.gz
[ci] Default values for CI_COMMIT_BRANCH, CI_PROJECT_PATH
-rwxr-xr-x.gitlab/ci.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index 54a97222c3..cee1bde9d7 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -578,8 +578,8 @@ if [ "${CI_MERGE_REQUEST_SOURCE_BRANCH_NAME:-}" == "wip/marge_bot_batch_merge_jo
echo "Ignoring perf failures"
fi
fi
-echo "CI_COMMIT_BRANCH: $CI_COMMIT_BRANCH"
-echo "CI_PROJECT_PATH: $CI_PROJECT_PATH"
+echo "CI_COMMIT_BRANCH: ${CI_COMMIT_BRANCH:-}"
+echo "CI_PROJECT_PATH: ${CI_PROJECT_PATH:-}"
if [ "${CI_COMMIT_BRANCH:-}" == "master" ] && [ "${CI_PROJECT_PATH:-}" == "ghc/ghc" ]; then
if [ -z "${IGNORE_PERF_FAILURES:-}" ]; then
IGNORE_PERF_FAILURES="decreases"