From 91ad62cbf7104862cabaf957ddb7cd4f421b8909 Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Thu, 12 Oct 2017 12:34:02 +0200
Subject: [PATCH] it seems not possible to use when option for some branches
 only

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b73c53a03..4bd7fef29 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -145,4 +145,4 @@ doc:
     - make doc
   only:
     - master@solverstack/chameleon
-  when: manual
+
-- 
GitLab