diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-12-21 10:05:36 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-12-22 00:13:02 -0500 |
| commit | d7cc8f1915c9617b6d4256fd1e483c24b4b1e851 (patch) | |
| tree | a0e590f610457d03ff6248130df893c7326adc16 | |
| parent | 1a596d069991255e196621d06a046f60359f3129 (diff) | |
| download | haskell-d7cc8f1915c9617b6d4256fd1e483c24b4b1e851.tar.gz | |
ci: Fix master 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..." |