diff options
author | Siargey Kachanovich <siargey.kachanovich@inria.fr> | 2019-10-17 21:44:46 +0200 |
---|---|---|
committer | Siargey Kachanovich <siargey.kachanovich@inria.fr> | 2019-10-17 21:44:46 +0200 |
commit | a24dc1591749a849ed5c356d4fafef1eb87727ae (patch) | |
tree | 4fa59c52609a4e218e2125bfb49597a30b5f238c /.circleci | |
parent | ec9953f0dbe0f69074f25cc95442ea0012db7d98 (diff) | |
parent | a6c844172072f1798bbbe6d5c9b4f3a548cb4c50 (diff) |
Merge remote-tracking branch 'upstream/patch-1' into coxeter-integration
Diffstat (limited to '.circleci')
-rw-r--r-- | .circleci/config.yml | 2 |
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 |