summaryrefslogtreecommitdiff
path: root/.gitlab
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2021-04-12 14:45:35 +0100
committerBen Gamari <ben@smart-cactus.org>2021-04-12 17:07:01 -0400
commitd1acda985696f2e828452e246686fb35294bb7fa (patch)
treed19cf40199fc0197cad5f8bfc1d95484da5c0abc /.gitlab
parent9588f3faf8400c6347ce7537119e63d559d5ccb0 (diff)
downloadhaskell-d1acda985696f2e828452e246686fb35294bb7fa.tar.gz
CI: Also ignore metric decreases on master
Otherwise, if the marge batch has decreased metrics, they will fail on master which will result in the pipeline being cut short and the expected metric values for the other jobs will not be updated.
Diffstat (limited to '.gitlab')
-rwxr-xr-x.gitlab/ci.sh8
1 files changed, 8 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index c1e666e540..66c52a7c94 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -574,6 +574,14 @@ 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"
+if [ "${CI_COMMIT_BRANCH:-}" == "master" ] && [ "${CI_PROJECT_PATH:-}" == "ghc/ghc" ]; then
+ if [ -z "${IGNORE_PERF_FAILURES:-}" ]; then
+ IGNORE_PERF_FAILURES="decreases"
+ echo "Ignoring perf failures"
+ fi
+fi
if [ -n "${IGNORE_PERF_FAILURES:-}" ]; then
RUNTEST_ARGS="--ignore-perf-failures=$IGNORE_PERF_FAILURES"
fi