diff options
Diffstat (limited to '.gitlab/ci.sh')
| -rwxr-xr-x | .gitlab/ci.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 68be7c8b2e..c1e666e540 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -565,11 +565,13 @@ if [ -n "$CROSS_TARGET" ]; then target_triple="$CROSS_TARGET" fi +echo "Branch name $CI_MERGE_REQUEST_SOURCE_BRANCH_NAME" # Ignore performance improvements in @marge-bot batches. # See #19562. -if [ "${GITLAB_CI_BRANCH:-}" == "wip/marge_bot_batch_merge_job" ]; then +if [ "${CI_MERGE_REQUEST_SOURCE_BRANCH_NAME:-}" == "wip/marge_bot_batch_merge_job" ]; then if [ -z "${IGNORE_PERF_FAILURES:-}" ]; then IGNORE_PERF_FAILURES="decreases" + echo "Ignoring perf failures" fi fi if [ -n "${IGNORE_PERF_FAILURES:-}" ]; then |