Resolve "Development Environment issues in Sep 2018"

Description

Adding the documentation infrastructure broke the pages job and we lost the link to the coverage report.

Notes for Reviewer

• Download docs artifact
• Download coverage artifact

mv docs/_build/html public
mv coverage public

• check that coverage report is reachable
• verify that that is the same as the pages job performs.

Checklist

• Documentation was updated