Automate documentation building with GitHub actions. #210
Description
Should set up a github workflow for creating documentation, because right now I do it manually prior to a release.
{{ message }}
Should set up a github workflow for creating documentation, because right now I do it manually prior to a release.