From 8ea61329247c8fcdbafd04fc53c064606c8060ce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joaquim=20Casals=20Bu=C3=B1uel?= <jcasals@iri.upc.edu>
Date: Thu, 18 Jul 2019 12:49:03 +0200
Subject: [PATCH] Update .gitlab-ci.yml
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8bf741790..93a10dc47 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -102,5 +102,5 @@ wolf_build_and_test:
- cd build
- ls # we can check whether the directory was already full
- cmake -DCMAKE_BUILD_TYPE=release -DBUILD_EXAMPLES=ON -DBUILD_TESTS=ON ..
- - make
- - ctest
+ - make -j$(nproc)
+ - ctest -j$(nproc)
--
GitLab