-
Wenhao Xie authored
* [Doc][CI] Update GitHub Actions workflow for documentation build and deployment. * [Doc][CI] Remove redundant git add command in GitHub Actions workflow. * [CI] Add workflow_dispatch trigger to publish_docs workflow
f7dd101c
* [Doc][CI] Update GitHub Actions workflow for documentation build and deployment. * [Doc][CI] Remove redundant git add command in GitHub Actions workflow. * [CI] Add workflow_dispatch trigger to publish_docs workflow