Try parallel Sphinx builds and hide progress#13241

Merged

wouterj merged 1 commit into3.4from

wouterj-sphinx-github-action

Feb 28, 2020

Commits on Feb 28, 2020

Hide build progress to clean up output
wouterj
committed