diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-07-04 22:32:15 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-08-18 15:40:05 -0400 |
| commit | fdcf76450348d0554b7fd1768331f9efaf691e13 (patch) | |
| tree | ba38d3e50e57b83b858c8973ac44fdbdb08f8f52 /.gitlab/ci.sh | |
| parent | 194b25ee97d93bc4bcb5bed9a0454debba7f2b6a (diff) | |
| download | haskell-fdcf76450348d0554b7fd1768331f9efaf691e13.tar.gz | |
gitlab-ci: Use MR base commit as performance baseline
Diffstat (limited to '.gitlab/ci.sh')
| -rwxr-xr-x | .gitlab/ci.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 05ee3203f3..dcaa41b089 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -363,6 +363,13 @@ 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() { + export PERF_BASELINE_COMMIT="$(git merge-base $CI_MERGE_REQUEST_TARGET_BRANCH_NAME HEAD)" + info "Using $PERF_BASELINE_COMMIT for performance metric baseline..." +} + function test_make() { run "$MAKE" test_bindist TEST_PREP=YES run "$MAKE" V=0 test \ |