summaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2020-04-20 20:39:40 +0200
committerMarc Glisse <marc.glisse@inria.fr>2020-04-20 20:39:40 +0200
commit70fb88a668c2cad837cbdea4863a136a1efc71c3 (patch)
treee99f425aa5e3bdad7b8e464be28ce586e0c37d92 /.circleci
parent93cd1240ef65d8883ec624e6e393c09969bf4d6f (diff)
Random CircleCI tweak
Diffstat (limited to '.circleci')
-rw-r--r--.circleci/config.yml5
1 files changed, 2 insertions, 3 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index 4f86cb12..40ddc08e 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -45,7 +45,6 @@ jobs:
python:
docker:
- image: gudhi/ci_for_gudhi:latest
- parallelism: 4
steps:
- checkout
- run:
@@ -62,12 +61,12 @@ jobs:
cd build;
cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=ON -DPython_ADDITIONAL_VERSIONS=3 ..;
cd python;
- python3 setup.py build_ext -j 4 --inplace;
+ python3 setup.py build_ext -j 2 --inplace;
make sphinx;
cp -R sphinx /tmp/sphinx;
python3 setup.py install;
python3 setup.py clean --all;
- ctest -j 4 --output-on-failure;
+ ctest -j 2 --output-on-failure;
- store_artifacts:
path: /tmp/sphinx