diff options
author | RĂ©mi Flamary <remi.flamary@gmail.com> | 2022-01-14 17:47:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-14 17:47:27 +0100 |
commit | 3fff90eb437dce30fd83012f4c0e24f3fca041b2 (patch) | |
tree | 317a8ab32d9c7fef7a7a073f3efaf8834168d095 /.circleci/config.yml | |
parent | be0ed1dcd0b65ec804e454f1a2d3c0d227c0ddbe (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/config.yml')
-rw-r--r-- | .circleci/config.yml | 8 |
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; |