Closed
Description
In order to accelerate the documentation publish step of the CI, we need to:
- Put back documentation generation into the build jobs and upload artifacts of the files
- Download these artifacts and use the to generate the documentation website