diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-12-16 18:00:49 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-01-11 19:38:21 -0500 |
| commit | 759f3421b5c1dbea358208337541eef674441af6 (patch) | |
| tree | 020959545c3b269626e3497cb88e82f89147bb4b | |
| parent | 85473a098ea60fac1633c179397c640889ce58ea (diff) | |
| download | haskell-759f3421b5c1dbea358208337541eef674441af6.tar.gz | |
ci: Nightly, run one head.hackage job with core-lint and one without
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 759f3ad253..0e2bb4d3a1 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1335,22 +1335,35 @@ test-bootstrap: 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 |