From b8f80b06f66ff13a60a4001c93e3dfd5c4d123ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@nomadic-labs.com>
Date: Tue, 14 May 2019 18:42:45 +0200
Subject: [PATCH] debug CI

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 05a2ac815..1afeb6bf3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -38,7 +38,8 @@ local-repo-job:
   script:
     - vendors/ligo-opam-repository/rewrite-local-opam-repository.sh
     - opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository/"
-    - opam install -y --build-test ligo
+    #--build-test
+    - opam install -y -v ligo
 
 remote-repo-job:
   script: