From f8e5313f05e06c769bcdda1a7843c8bd85c864af Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 12 Apr 2023 22:02:34 +0200 Subject: [PATCH] Disable coverage on circleci. It seems that it is not used and it slows down the tests. [ci-skip] --- .circleci/config.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 2839cb33b1..abd99f5377 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -19,5 +19,5 @@ jobs: name: Configure, build and test da stuff command: | mkdir _build && cd _build - cmake -Denable_documentation=OFF -Denable_coverage=ON -Denable_model-checking=OFF -Denable_compile_optimizations=OFF -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON .. + cmake -Denable_documentation=OFF -Denable_coverage=OFF -Denable_model-checking=OFF -Denable_compile_optimizations=OFF -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON .. make -j4 tests && ctest -j4 --output-on-failure -- 2.20.1