Describe the problem this feature solves
The purpose of this request is to automate the building and deployment of documentation for the project, using the github pages tooling.
Describe the solution you'd like to see
I would like to support the effort we discussed on Discord, moving the documentation generation and hosting to github pages, removing the need for the dev site, which is currently down.
Important Links
https://github.com/actions/deploy-pages
What alternatives exist? (optional)
We may also be able to automate the deployment to the dev site, or other hosting options as the project needs.
Describe the problem this feature solves
The purpose of this request is to automate the building and deployment of documentation for the project, using the github pages tooling.
Describe the solution you'd like to see
I would like to support the effort we discussed on Discord, moving the documentation generation and hosting to github pages, removing the need for the dev site, which is currently down.
Important Links
https://github.com/actions/deploy-pages
What alternatives exist? (optional)
We may also be able to automate the deployment to the dev site, or other hosting options as the project needs.