From c4aae65ed001dc468a4c0d8cf18b7f350f6a06e7 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 23 Sep 2019 12:52:39 +0200
Subject: 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
---
 .gitlab-ci.yml | 3 +++
 1 file changed, 3 insertions(+)

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