diff options
| author | David Eichmann <EichmannD@gmail.com> | 2019-10-07 11:05:00 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-10-22 02:07:48 -0400 |
| commit | 8ea316da1dec77f20c742215874f8884b6e20558 (patch) | |
| tree | cf4f8c5c4e152ac6d3568e5a2a4e84f65cee7a7c /.gitlab-ci.yml | |
| parent | 4b431f334018eaef2cf36de3316025c68c922915 (diff) | |
| download | haskell-8ea316da1dec77f20c742215874f8884b6e20558.tar.gz | |
CI: Always dump performance metrics.
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 01cf16cb6d..6d9f778419 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -279,7 +279,7 @@ hadrian-ghc-in-ghci: make binary-dist TAR_COMP_OPTS="-1" - | # Prepare to push git notes. - METRICS_FILE=$(mktemp) + METRICS_FILE=$CI_PROJECT_DIR/performance-metrics.tsv git config user.email "ben+ghc-ci@smart-cactus.org" git config user.name "GHC GitLab CI" - | @@ -296,6 +296,7 @@ hadrian-ghc-in-ghci: paths: - ghc-*.tar.xz - junit.xml + - performance-metrics.tsv ################################# # x86_64-darwin |