diff options
| author | Ben Gamari <ben@well-typed.com> | 2022-12-21 23:19:36 +0000 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2022-12-21 23:19:36 +0000 |
| commit | b5c0c205306b3f8ef87a01d1c9664e785bc39f5f (patch) | |
| tree | 620263c925e9ad650972a4b452310204dd534888 | |
| parent | 3d55d8ab51ece43c51055c43c9e7aba77cce46c0 (diff) | |
| download | haskell-wip/head-hackage-job.tar.gz | |
gitlab-ci: Don't use trigger: to trigger head.hackage buildswip/head-hackage-job
Due to https://gitlab.haskell.org/ghc/head.hackage/-/issues/68
we cannot use trigger: without granting all users push privileges
to head.hackage's master branch.
Work around this by instead using a trigger token and curl.
| -rw-r--r-- | .gitlab-ci.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 400d00840c..93c185fd57 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -697,10 +697,10 @@ test-bootstrap: UPSTREAM_PROJECT_ID: "$CI_PROJECT_ID" UPSTREAM_PIPELINE_ID: "$CI_PIPELINE_ID" RELEASE_JOB: "$RELEASE_JOB" - trigger: - project: "ghc/head.hackage" - branch: "master" - strategy: "depend" + # N.B. Sadly we can't use gitlab-ci's trigger: field due to + # https://gitlab.haskell.org/ghc/head.hackage/-/issues/68 + script: + - "curl -X POST --fail -F token=$HEAD_HACKAGE_TRIGGER_TOKEN -F ref=master https://gitlab.haskell.org/api/v4/projects/78/trigger/pipeline" hackage-lint: extends: .hackage |