Update GITHUB_TOKEN secret for documentation push (#10458)

This commit is contained in:
Lianmin Zheng
2025-09-14 21:59:13 -07:00
committed by GitHub
parent 69b35793a0
commit f73aae0bfc

View File

@@ -43,7 +43,7 @@ jobs:
- name: Push HTML to sgl-project.github.io
timeout-minutes: 60
env:
GITHUB_TOKEN: ${{ secrets.DOCUMENTATION_PAT_TOKEN }}
GITHUB_TOKEN: ${{ secrets.GH_PAT_FOR_DOCUMENTATION }}
run: |
cd docs
make html