diff options
| author | Théo Zimmermann | 2019-02-18 14:05:28 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-01 18:43:01 +0100 |
| commit | f70820df5f2da589a302dce5d0cd92988c59ccae (patch) | |
| tree | 63c19dec7b0dd256d33fac951cd14181d0e46cc7 | |
| parent | 8e83893e23131eb659780a116134996e430ead87 (diff) | |
When Nix build is finished and pushed to Cachix, update a specific branch.
This should allow CI jobs that use our Cachix to only test against Coq versions
that are already available in Cachix, avoiding very long build and time outs e.g.
in the math-classes CI.
Co-authored-by: Vincent Laporte <Vincent.Laporte@inria.fr>
| -rw-r--r-- | .gitlab-ci.yml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b745b1be5c..fd1ea325e9 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -336,6 +336,21 @@ pkg:nix:deploy: - master - /^v.*\..*$/ +pkg:nix:deploy:channel: + <<: *deploy-template + environment: + name: cachix + url: https://coq.cachix.org + only: + variables: + - $CACHIX_DEPLOYMENT_KEY + dependencies: + - pkg:nix:deploy + script: + - echo "$CACHIX_DEPLOYMENT_KEY" | tr -d '\r' | ssh-add - > /dev/null + - git fetch --unshallow + - git push git@github.com:coq/coq-on-cachix "${CI_COMMIT_REF_NAME}" + pkg:nix: <<: *nix-template except: |