fix: use personal token instead
Replaced GITHUB_TOKEN with PERSONAL_TOKEN for deployment.
This commit is contained in:
parent
f87c696dac
commit
b1ef5125ce
1 changed files with 1 additions and 1 deletions
2
.github/workflows/publish-docs.yml
vendored
2
.github/workflows/publish-docs.yml
vendored
|
|
@ -17,4 +17,4 @@ jobs:
|
||||||
- name: Deploy docs
|
- name: Deploy docs
|
||||||
uses: mhausenblas/mkdocs-deploy-gh-pages@master
|
uses: mhausenblas/mkdocs-deploy-gh-pages@master
|
||||||
env:
|
env:
|
||||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
PERSONAL_TOKEN: ${{ secrets.PERSONAL_TOKEN }}
|
||||||
|
|
|
||||||
Reference in a new issue