diff options
author | RĂ©mi Flamary <remi.flamary@gmail.com> | 2021-12-31 12:47:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-31 12:47:27 +0100 |
commit | be0ed1dcd0b65ec804e454f1a2d3c0d227c0ddbe (patch) | |
tree | 6f7fe79a1f8dcf6160185fa1070b8b905f5a4063 /.circleci/config.yml | |
parent | 7ad97e3118e0a6cbd4b00616c96c19684fb4d401 (diff) |
[MRG] Release 0.8.1.0 and correct doc build (#332)
* update ersion and change doc build
* update release file
* debug release of doc
* set version number to 0.8.1.0
Diffstat (limited to '.circleci/config.yml')
-rw-r--r-- | .circleci/config.yml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 6abba78..f5cb756 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -161,7 +161,10 @@ workflows: default: jobs: - - build_docs + - build_docs: + filters: + tags: + only: /[0-9]+(\.[0-9]+)*$/ - deploy_master: requires: - build_docs @@ -174,7 +177,6 @@ workflows: - build_docs filters: branches: - only: - - master + ignore: /.*/ tags: only: /[0-9]+(\.[0-9]+)*$/
\ No newline at end of file |