From 758bb15089bad5cbdf0e5544d5a2422c037c7f3b Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 22 Aug 2018 22:57:09 +0200 Subject: [PATCH] gitlab-ci: disable MC tests, as they get SIGIOT on that platform --- .gitlab-ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c58e2d6838..6a3b5630ac 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -17,6 +17,6 @@ pages: tests: script: - apt update - - apt install -y libboost-all-dev libboost-dev cmake chrpath default-jdk valgrind gfortran build-essential libunwind-dev libdw-dev libelf-dev libevent-dev - - cmake -Denable_model-checking=ON -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 . + - apt install -y libboost-all-dev libboost-dev cmake chrpath default-jdk valgrind gfortran build-essential + - 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 && ctest --output-on-failure -- 2.20.1