diff options
| author | Ben Gamari <ben@well-typed.com> | 2021-03-30 19:14:19 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2021-03-30 19:14:19 -0400 |
| commit | 86e7aa01280543ec2b491fa112a86f7dbcf2a347 (patch) | |
| tree | 52c02500c82d58f5f2b89e8db49aeab15bef6b52 | |
| parent | 128fd85cd266550b0cf19454cd218a85585ee18e (diff) | |
| download | haskell-86e7aa01280543ec2b491fa112a86f7dbcf2a347.tar.gz | |
gitlab-ci: Trigger head.hackage jobs via pipeline IDwip/head-hackage-trigger-2
As noted in ghc/head.hackage!152, the previous plan of using
the commit didn't work when the triggering pipeline had not yet
successfully finished.
| -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" |