From 0b08b19bdd0ec2f38b47822968e1caf90cf62489 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 6 Jun 2019 15:41:25 +0200
Subject: [PATCH 1/1] gitlab-ci: use release as a testing script to reduce
 building time

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2dbea5e319..2a4c3ecfa3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -29,11 +29,14 @@ pages:
 
 ctest:
   stage: build
+  except:
+  - stable
   script:
   - cmake -Denable_model-checking=OFF -Denable_documentation=OFF -Denable_coverage=ON -Denable_java=ON -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=ON .
   - make VERBOSE=1 all tests && ctest --output-on-failure
 
 release:
+  stage: build
   only:
   - stable
   script:
-- 
2.20.1