diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-12-18 13:04:25 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-12-18 13:04:25 +0100 |
| commit | 1574a1aa0c129acd8feee9acf516de99d0525c98 (patch) | |
| tree | b7beb93ffdc9ade2538511ba05ceab1ebee7755e | |
| parent | b994e5ce790711de59641ff2e76b5ffaa73c0b81 (diff) | |
| download | haskell-wip/isliftedtype.tar.gz | |
Temporarily disable metric_baselinewip/isliftedtype
| -rwxr-xr-x | .gitlab/ci.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index ca115af15a..e15dee2478 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -446,16 +446,6 @@ function push_perf_notes() { "$TOP/.gitlab/test-metrics.sh" push } -# Figure out which commit should be used by the testsuite driver as a -# performance baseline. See Note [The CI Story]. -function determine_metric_baseline() { - if [ -n "${CI_MERGE_REQUEST_DIFF_BASE_SHA}:-}" ]; then - PERF_BASELINE_COMMIT="$CI_MERGE_REQUEST_DIFF_BASE_SHA" - export PERF_BASELINE_COMMIT - info "Using $PERF_BASELINE_COMMIT for performance metric baseline..." - fi -} - function test_make() { if [ -n "${CROSS_TARGET:-}" ]; then info "Can't test cross-compiled build." @@ -663,8 +653,6 @@ if [ -n "${IGNORE_PERF_FAILURES:-}" ]; then RUNTEST_ARGS="--ignore-perf-failures=$IGNORE_PERF_FAILURES" fi -determine_metric_baseline - set_toolchain_paths case $1 in |