This adds a manual Cloudflare pages deployer GitHub Action and related environment. It prevents unnecessary deployments of the site on regular code changes and is triggered manually as needed. Without this, docs would be out of sync when there's a merge to main that doesn't correspond to a tagged pypi package publish.
[x] add GitHub Action to manually deploy docs site, as needed
This adds a manual Cloudflare pages deployer GitHub Action and related environment. It prevents unnecessary deployments of the site on regular code changes and is triggered manually as needed. Without this, docs would be out of sync when there's a merge to
main
that doesn't correspond to a taggedpypi
package publish.