Automatically publish documentation to github pages #116
Description
Build the documentation using standard process, and publish resulting doc to github pages automatically on release.
{{ message }}
Build the documentation using standard process, and publish resulting doc to github pages automatically on release.