diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-12-16 18:00:49 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2021-12-16 18:07:14 +0000 |
| commit | 109ed0b937dac0aa16a06ae5e3605b76175d82a4 (patch) | |
| tree | 491552e37cff00408d9fb3f71c23c43220c8b726 | |
| parent | 6cea73113e63650e3eeee9c187ae3de7ffc19af6 (diff) | |
| download | haskell-wip/head-hackage-nightly.tar.gz | |
ci: Nightly, run one head.hackage job with core-lint and one withoutwip/head-hackage-nightly
This fixes serious skew in the performance numbers because the packages
were build with core-lint.
Fixes #20826
| -rw-r--r-- | .gitlab-ci.yml | 23 |
1 files changed, 18 insertions, 5 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3ce90b3f43..b8ca12f37b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1316,22 +1316,35 @@ source-tarball: branch: "master" strategy: "depend" -hackage: +hackage-lint: extends: .hackage + variables: + EXTRA_HC_OPTS: "-dcore-lint" when: manual -hackage-label: +hackage-label-lint: extends: .hackage + variables: + EXTRA_HC_OPTS: "-dcore-lint" rules: - if: '$CI_MERGE_REQUEST_LABELS =~ /.*user-facing.*/' -nightly-hackage: +# The head.hackage job is split into two jobs because enabling `-dcore-lint` +# affects the total allocation numbers for the simplifier portion significantly. +nightly-hackage-lint: + rules: + - if: $NIGHTLY + extends: .hackage + variables: + EXTRA_HC_OPTS: "-dcore-lint" + +nightly-hackage-perf: rules: - if: $NIGHTLY extends: .hackage variables: - # Generate logs for nightly builds - EXTRA_HC_OPTS: "-dcore-lint -ddump-timings" + # Generate logs for nightly builds which include timing information. + EXTRA_HC_OPTS: "-ddump-timings" ############################################################ # Nofib testing |