Description of changes:
Adds a github workflow to build the documentation, this will run whenever something is merged to main. This prevents you from having to run gh-deploy --force locally.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Description of changes: Adds a github workflow to build the documentation, this will run whenever something is merged to main. This prevents you from having to run gh-deploy --force locally.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.