summaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-08-20 08:15:19 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-08-20 08:15:19 +0200
commit4a572af654afc22e2f5c26766f611b1918313509 (patch)
treefc77f63e503384c4f09a3219b8b62bd7f684e449 /.circleci
parent52cb44a02ad8ce9884db63724ea0a5f1e35c6172 (diff)
Roll back - why cannot clean ?
Diffstat (limited to '.circleci')
-rw-r--r--.circleci/config.yml6
1 files changed, 1 insertions, 5 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index 77fad2ee..eca9f91e 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -66,15 +66,11 @@ jobs:
cp -R sphinx /tmp/sphinx;
python3 setup.py install;
python3 setup.py clean --all;
- python3 -B -m pytest ../../python/test/*.py --cov-report html --cov=gudhi;
- cp -R htmlcov /tmp/htmlcov;
+ ctest -j 2 --output-on-failure;
- store_artifacts:
path: /tmp/sphinx
- - store_artifacts:
- path: /tmp/htmlcov
-
doxygen:
docker:
- image: gudhi/ci_for_gudhi:latest