[CI] Removed and push new documentation
Warning
Julie Brossard
created pipeline for commit
7d10e3ce
, finished
Related merge request !740 to merge 2076-develop-package-names-3
74 minutes 5 seconds, queued for 3 seconds