Publish docs
Build the docs and push the output to gh-pages.
Steps
- Run the docs build and stop on any build error, because a broken build published is a broken site.
- Commit the build output to the local
gh-pagesbranch. - Run
git push --force origin gh-pages. - If the pre-push hook rejects the push, retry with
--no-verify. - Report the published commit hash.