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 /.circleci/artifact_path | |
| 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 '.circleci/artifact_path')
0 files changed, 0 insertions, 0 deletions