diff options
| author | Théo Zimmermann | 2019-02-07 22:19:46 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-07 22:19:46 +0100 |
| commit | a2365c54ea7cdaa8a20f43c9f46d7bfef6e1180a (patch) | |
| tree | 8cfd9000e6a2cb41943e421ede5cd0cbbace3d53 | |
| parent | e209341f6b9858279d2fe53d1eb795ff25925eed (diff) | |
| parent | 503cf04b899fb6075703b532a26a920380b74575 (diff) | |
Merge PR #9499: [Gitlab-CI] Never attempt to build cachix
Reviewed-by: Zimmi48
| -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 623debea23..aef51d8ac0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -322,7 +322,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.*\..*$/ |