diff options
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 bb7d9aa880..d9de6043c4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1350,7 +1350,8 @@ source-tarball: needs: [doc-tarball] variables: UPSTREAM_PROJECT_PATH: "$CI_PROJECT_PATH" - UPSTREAM_COMMIT_SHA: "$CI_COMMIT_SHA" + UPSTREAM_PROJECT_ID: "$CI_PROJECT_ID" + UPSTREAM_PIPELINE_ID: "$CI_PIPELINE_ID" EXTRA_HC_OPTS: "-dcore-lint" trigger: project: "ghc/head.hackage" |