summaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorRĂ©mi Flamary <remi.flamary@gmail.com>2022-01-14 17:47:27 +0100
committerGitHub <noreply@github.com>2022-01-14 17:47:27 +0100
commit3fff90eb437dce30fd83012f4c0e24f3fca041b2 (patch)
tree317a8ab32d9c7fef7a7a073f3efaf8834168d095 /.circleci
parentbe0ed1dcd0b65ec804e454f1a2d3c0d227c0ddbe (diff)
[WIP] Set dev version and add minigallery to quick start guide (#334)
* change version and add minigallery in quickstart guide * remove ot.gpu from documentation because it is deprecated and bacckends should be used * start 0.8.2dev and description in releases.md * typo for gallery sinkhorn2 * test better doc update for files in .githib folder
Diffstat (limited to '.circleci')
-rw-r--r--.circleci/config.yml8
1 files changed, 4 insertions, 4 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index f5cb756..5427979 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -106,10 +106,10 @@ jobs:
echo "Deploying dev docs for ${CIRCLE_BRANCH}.";
cd master
cp -a /tmp/build/html/* .;
- cp -a /tmp/build/html/.github .github;
+ cp -a /tmp/build/html/.github/* .github/;
touch .nojekyll;
git add -A;
- git add -f .github/*.html ;
+ git add -f .github/* ;
git commit -m "CircleCI update of dev docs (${CIRCLE_BUILD_NUM}).";
git push origin master;
else
@@ -146,10 +146,10 @@ jobs:
git clean -xdf
echo "Deploying dev docs for ${CIRCLE_BRANCH}.";
cp -a /tmp/build/html/* .;
- cp -a /tmp/build/html/.github .github;
+ cp -a /tmp/build/html/.github/* .github/;
touch .nojekyll;
git add -A;
- git add -f .github/*.html ;
+ git add -f .github/* ;
git commit -m "CircleCI update of dev docs (${CIRCLE_BUILD_NUM}).";
git push origin master;