Include an automatic push of the built documentation.

Further to my comment in !17 (comment 2907032), I'm including a sphinx build of the existing documentation as part of the continuous integration.

There is no functional change included with this MR, so I will self-assign and merge when green.

enabled an automatic merge when the pipeline for 33ff473d succeeds

added 1 commit

• c291d22b - Include an automatic push of the built documentation.

Compare with previous version

enabled an automatic merge when the pipeline for c291d22b succeeds

merged

mentioned in commit a6e92942