CI pipeline improvements
add options to avoid building documentation at each commit, to choose draft mode and to select which manual (oce/ice/bgc) to build
add options to avoid building documentation at each commit, to choose draft mode and to select which manual (oce/ice/bgc) to build
assigned to @gsamson
14-ci-pipeline-improvements to address this issue created branch 14-ci-pipeline-improvements to address this issue
mentioned in merge request !24 (merged)
added to epic nemo&33
changed milestone to %NEMO 5.0.0
mentioned in commit 7da636c7
closed with merge request !24 (merged)