diff options
-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 |