diff options
| author | Alp Mestanogullari <alpmestan@gmail.com> | 2019-11-01 18:20:34 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-11-11 11:36:44 -0500 |
| commit | f8ec32d79ff876686cb191151c5a151773ae6495 (patch) | |
| tree | 4ef42c44aaa97ccda0b01edd1db7362230537f59 | |
| parent | 06640394b9df337978a8e256786c2bc71971c483 (diff) | |
| download | haskell-f8ec32d79ff876686cb191151c5a151773ae6495.tar.gz | |
ci: push perf test metrics even when the testsuite doesn't pass
The corresponding commit might introduce a regression on a perf test, in which
case we certainly want to record it. The testsuite might also fail because
of a test unrelated to performance, in which case we want to record that the
perf test results were good.
Either way, we likely want to record them under all circumstances but
we don't without this patch.
Metric Decrease:
T3586
Metric Increase:
lazy-bs-alloc
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index cc80845e81..09ed198547 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -303,7 +303,7 @@ hadrian-ghc-in-ghci: git config user.name "GHC GitLab CI" - | THREADS=`mk/detect-cpu-count.sh` - make $TEST_TYPE THREADS=$THREADS JUNIT_FILE=../../junit.xml METRICS_FILE=$METRICS_FILE + make $TEST_TYPE THREADS=$THREADS JUNIT_FILE=../../junit.xml METRICS_FILE=$METRICS_FILE || (METRICS_FILE=$METRICS_FILE .gitlab/push-test-metrics.sh && false) - | # Push git notes. METRICS_FILE=$METRICS_FILE .gitlab/push-test-metrics.sh |