From 503cf04b899fb6075703b532a26a920380b74575 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 7 Feb 2019 11:02:16 +0000
Subject: [Gitlab-CI] Never attempt to build cachix

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7ebc2d8a4d..cb3493b468 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -321,7 +321,7 @@ pkg:nix:deploy:
     url: https://coq.cachix.org
   before_script:
     # Install Cachix as documented at https://github.com/cachix/cachix
-    - nix-env -iA cachix -f https://cachix.org/api/v1/install
+    - nix-env -iA cachix --prebuilt-only -f https://cachix.org/api/v1/install
   only:
     - master
     - /^v.*\..*$/
-- 
cgit v1.2.3