fix docs publishing

This commit is contained in:
Ace 2023-06-03 23:41:51 +02:00
parent 4190cab1a0
commit 36082103e8

View File

@ -114,6 +114,7 @@ jobs:
ls
git config --global user.name 'GitHub Actions'
git config --global user.email 'actions@github.com'
git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
git add docs
git commit -m "Update documentation"
git push --force --quiet