diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-06-04 13:08:05 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-06-04 13:14:02 -0400 |
commit | eacddcc3f35a1b4fb2e4030363dc2156cd36db96 (patch) | |
tree | 8d8cc4bf0749e5152016f2f60def407d950e0375 | |
parent | 4638602da733be357ac1ebf2c4760607785a48f4 (diff) | |
download | haskell-wip/T16748.tar.gz |
gitlab-ci: Collect OpenMetrics reportwip/T16748
-rw-r--r-- | .gitlab-ci.yml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f42ce61d7a..b694edc4ec 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -228,12 +228,24 @@ hadrian-ghc-in-ghci: THREADS=`mk/detect-cpu-count.sh` make $TEST_TYPE THREADS=$THREADS JUNIT_FILE=../../junit.xml METRICS_FILE=$METRICS_FILE - | + # Generate OpenMetrics summary + if [ -n "$CI_MERGE_REQUEST_SOURCE_BRANCH_SHA" ]; then + testsuite/driver/perf_notes.py \ + --test-env=$TEST_ENV --openmetrics \ + $CI_MERGE_REQUEST_SOURCE_BRANCH_SHA \ + $CI_COMMIT_SHA \ + > metrics.txt + else + echo "No base commit, skipping OpenMetrics generation..." + fi + - | # Push git notes. METRICS_FILE=$METRICS_FILE .gitlab/push-test-metrics.sh dependencies: [] artifacts: reports: junit: junit.xml + metrics: metrics.txt expire_in: 2 week paths: - ghc-*.tar.xz |