templates/swh-pipeline: Add stage to build sphinx documentation

If it exists a sphinx tox environment in the built project, it will be executed to build sphinx documentation and check for errors.

Related to T3258

---

Migrated from D5617 (view on Phabricator)

Please mount the shared cache directory in the image to avoid re-downloading all of PyPI from the internet on every build. I'd suggest duplicating the existing includes/agent-docker.groovy.j2 to a new agent-docker-sphinx.groovy.j2 file, to add the options relevant for this build (for instance, I don't know how useful mounting a tmpdir on /tmp would be).

Merge request was accepted

approved this merge request

Update: Address @olasd comments

Remove tmpfs mount on sphinx docker container, should not be needed to build sphinx doc

Some references in the commit message have been migrated:

• T3258 is now swh/meta#3258

Rebase

Merge request was merged

closed