diff options
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 20a9bba692..b0a767eac2 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1331,7 +1331,6 @@ source-tarball: UPSTREAM_PROJECT_PATH: "$CI_PROJECT_PATH" UPSTREAM_PROJECT_ID: "$CI_PROJECT_ID" UPSTREAM_PIPELINE_ID: "$CI_PIPELINE_ID" - EXTRA_HC_OPTS: "-dcore-lint" trigger: project: "ghc/head.hackage" branch: "master" @@ -1350,6 +1349,9 @@ nightly-hackage: rules: - if: $NIGHTLY extends: .hackage + variables: + # Generate logs for nightly builds + EXTRA_HC_OPTS: "-dcore-lint -ddump-timings" ############################################################ # Nofib testing |