HomeSoftware Heritage

jobs: add docs building jobs

Description

jobs: add docs building jobs

Add 2 jobs for building the doc:

  • DDOC/publish that builds the doc from tagged versions and publish it
  • DDOC/dev that buils the doc from HEAD and make the produced HTML available on jenkins.

Details

Provenance
douarddaAuthored on Nov 26 2018, 11:43 AM
douarddaPushed on Nov 27 2018, 12:04 PM
Differential Revision
D709: jobs: add docs building jobs
Parents
rCJSWHe9207dc2d39e: Rename all files to .yaml instead of .yml
Branches
Unknown
Tags
Unknown