diff options
| author | Vincent Laporte | 2019-02-07 11:02:16 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-02-07 11:02:16 +0000 |
| commit | 503cf04b899fb6075703b532a26a920380b74575 (patch) | |
| tree | 9445a79f834e93909506ebba226f0625cf542343 | |
| parent | d1538ff126a19b7b5f9a2a95a0175d8d6ac71e39 (diff) | |
[Gitlab-CI] Never attempt to build cachix
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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.*\..*$/ |