Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Publish dev-docs with Github Pages artifacts (2nd attempt) (#10892)
Supersedes #10888. # Objective Closes #10821 ## Solution - Replaced [JamesIves/github-pages-deploy-action](https://github.com/JamesIves/github-pages-deploy-action) with [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) and [actions/deploy-pages](https://github.com/actions/deploy-pages). ## Notes - I made this workflow possible to run through dispatch (`workflow_dispatch`), in case something goes wrong. - I restricted the permissions to just the things Github Pages needs. - I made it so that only one deployments can happen at a time, the other deployment requests will be queued up and the latest one will be run.
- Loading branch information