diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-04-12 14:45:35 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-04-12 17:07:01 -0400 |
| commit | d1acda985696f2e828452e246686fb35294bb7fa (patch) | |
| tree | d19cf40199fc0197cad5f8bfc1d95484da5c0abc /.gitlab | |
| parent | 9588f3faf8400c6347ce7537119e63d559d5ccb0 (diff) | |
| download | haskell-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.sh | 8 |
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 |