diff options
| author | Théo Zimmermann | 2019-09-23 12:52:39 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-09-23 12:52:39 +0200 |
| commit | c4aae65ed001dc468a4c0d8cf18b7f350f6a06e7 (patch) | |
| tree | a62a2f343cdba4796c6c159d0808d778f74b4dd4 | |
| parent | c5ecc185ccb804e02ef78012fc6ae38c092cc80a (diff) | |
Fix #10413 (CI failure on tags).
On tags, the pkg:nix:deploy:channel job was run even though the
required pkg:nix:deploy was not. We repeat the same conditions
regarding refs as in pkg:nix:deploy. Cf. GitLab's doc on the meaning
of several only conditions:
https://docs.gitlab.com/ee/ci/yaml/README.html#onlyexcept-advanced
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b53f6e4a3d..9c1c64a13f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -376,6 +376,9 @@ pkg:nix:deploy:channel: name: cachix url: https://coq.cachix.org only: + refs: # Repeat conditions from pkg:nix:deploy + - master + - /^v.*\..*$/ variables: - $CACHIX_DEPLOYMENT_KEY dependencies: [] |