diff options
author | RĂ©mi Flamary <remi.flamary@gmail.com> | 2021-04-22 10:54:26 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-22 10:54:26 +0200 |
commit | d06eee87155cdc6702c0dc8fe933dc02d9efdada (patch) | |
tree | 99c35c70fcd193cd463d01c0c33aabd189035f16 /ot/partial.py | |
parent | 0d995011b19b243bc980588cd98786b7c41a0509 (diff) |
[WIP] Build doc in master and stable separately and have both versions on the website (#243)
* add bild doc action workflow
* new build
* build full doc
* remove github action and update circleci builder
* add versions in doc and change dev number
Diffstat (limited to 'ot/partial.py')
0 files changed, 0 insertions, 0 deletions