summaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorSiargey Kachanovich <siargey.kachanovich@inria.fr>2019-10-17 21:44:46 +0200
committerSiargey Kachanovich <siargey.kachanovich@inria.fr>2019-10-17 21:44:46 +0200
commita24dc1591749a849ed5c356d4fafef1eb87727ae (patch)
tree4fa59c52609a4e218e2125bfb49597a30b5f238c /.circleci
parentec9953f0dbe0f69074f25cc95442ea0012db7d98 (diff)
parenta6c844172072f1798bbbe6d5c9b4f3a548cb4c50 (diff)
Merge remote-tracking branch 'upstream/patch-1' into coxeter-integration
Diffstat (limited to '.circleci')
-rw-r--r--.circleci/config.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index b9f0376e..52cb3d45 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -56,7 +56,7 @@ jobs:
cd build;
cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_EXAMPLE=OFF -DWITH_GUDHI_UTILITIES=OFF -DWITH_GUDHI_PYTHON=ON -DPython_ADDITIONAL_VERSIONS=3 ..;
make all test sphinx;
- cp -R cython/sphinx /tmp/sphinx;
+ cp -R python/sphinx /tmp/sphinx;
- store_artifacts:
path: /tmp/sphinx