diff options
| author | Moritz Angermann <moritz.angermann@gmail.com> | 2021-04-20 21:25:44 +0800 |
|---|---|---|
| committer | Moritz Angermann <moritz.angermann@gmail.com> | 2021-04-20 21:25:44 +0800 |
| commit | d85454549036d2889df22730a6b88032d63a644c (patch) | |
| tree | df06be8e0099a3cdfb9977ed3c08b56f3e5f8a3f | |
| parent | 1f9081031737b7cfebeae2eff107e346737af8de (diff) | |
| download | haskell-wip/angerman/forward-ports-from-8.10.tar.gz | |
[ci] Default values for CI_COMMIT_BRANCH, CI_PROJECT_PATHwip/angerman/forward-ports-from-8.10
| -rwxr-xr-x | .gitlab/ci.sh | 4 |
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" |