From f70820df5f2da589a302dce5d0cd92988c59ccae Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 18 Feb 2019 14:05:28 +0100
Subject: 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>
---
 .gitlab-ci.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

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:
-- 
cgit v1.2.3