Add CI checks for docs building cleanly#294

Merged

muzigao merged 3 commits intodevelopmentfrom jli-requirecleandocs

Dec 8, 2020

+7-2

Commits on Dec 7, 2020

configure CI to enforce docs build without warnings
john li
committed
configure CI to check for broken links in docs
john li
committed
tweak link to avoid Sphinx linkcheck false positive
john li
committed