diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-12-21 10:05:36 +0000 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2021-12-21 10:05:36 +0000 |
commit | 2547159f85082f2c24868a52e7ec6a868191df3d (patch) | |
tree | ec1f8bfdd4b9f5f5cc621e9e86b3bf77df3d4397 | |
parent | ff657a81ae5ebd4ea4628ca8ebc88dce3ecbe0ef (diff) | |
download | haskell-2547159f85082f2c24868a52e7ec6a868191df3d.tar.gz |
ci: Fix master CIwip/fix-head-ci
I made a mistake in the bash script so there were errors about
"$CI_MERGE_REQUEST_DIFF_BASE_SHA" not existing.
-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 ca115af15a..054e429042 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -449,7 +449,7 @@ function push_perf_notes() { # 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 + 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..." |