diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-05-12 11:47:02 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-05-12 21:42:57 -0400 |
| commit | e0ded198e9ec1c8bb7253506569e7ae47818e791 (patch) | |
| tree | 47061e42213382df989bcfb33bc41732bed0eda6 /.gitlab | |
| parent | c34f4c0cf55ac5c81b6600daab2a66e0adf89f50 (diff) | |
| download | haskell-e0ded198e9ec1c8bb7253506569e7ae47818e791.tar.gz | |
ci: Fix unbound CI_MERGE_REQUEST_SOURCE_BRANCH_NAME variable
Fixes #19831
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index cee1bde9d7..99c7e8bfa5 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -569,7 +569,7 @@ if [ -n "${CROSS_TARGET:-}" ]; then target_triple="$CROSS_TARGET" fi -echo "Branch name $CI_MERGE_REQUEST_SOURCE_BRANCH_NAME" +echo "Branch name ${CI_MERGE_REQUEST_SOURCE_BRANCH_NAME:-}" # Ignore performance improvements in @marge-bot batches. # See #19562. if [ "${CI_MERGE_REQUEST_SOURCE_BRANCH_NAME:-}" == "wip/marge_bot_batch_merge_job" ]; then |