From 810c53ab495e68c9c03b44c242dab13259fdf10f Mon Sep 17 00:00:00 2001
From: jcasals <jcasals@iri.upc.edu>
Date: Mon, 22 Jul 2019 14:44:49 +0200
Subject: [PATCH] CI installs. Closes #232

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 93de8a4bc..cde987b69 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -67,4 +67,5 @@ wolf_build_and_test:
     - ls # we can check whether the directory was already full
     - cmake -DCMAKE_BUILD_TYPE=release -DBUILD_EXAMPLES=ON -DBUILD_TESTS=ON ..
     - make -j$(nproc)
-    - ctest
+    - ctest -j$(nproc)
+    - make install
-- 
GitLab