summaryrefslogtreecommitdiff
path: root/.gitlab
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-07-04 22:32:15 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-08-18 15:40:05 -0400
commitfdcf76450348d0554b7fd1768331f9efaf691e13 (patch)
treeba38d3e50e57b83b858c8973ac44fdbdb08f8f52 /.gitlab
parent194b25ee97d93bc4bcb5bed9a0454debba7f2b6a (diff)
downloadhaskell-fdcf76450348d0554b7fd1768331f9efaf691e13.tar.gz
gitlab-ci: Use MR base commit as performance baseline
Diffstat (limited to '.gitlab')
-rwxr-xr-x.gitlab/ci.sh7
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 \