From a4cce9da5081986f0fc02525e4a443520a5dd878 Mon Sep 17 00:00:00 2001
From: jcasals <jcasals@iri.upc.edu>
Date: Fri, 20 Dec 2019 10:07:48 +0100
Subject: [PATCH] CI debugging

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d176b3066..e90446258 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -104,4 +104,5 @@ wolf_build_and_test:
     - cmake -DCMAKE_BUILD_TYPE=release -DBUILD_EXAMPLES=ON -DBUILD_TESTS=ON ..
     - make -j$(nproc)
     - ctest -j$(nproc)
+    - ctest -V -R single diff
     - make install
-- 
GitLab