diff --git a/.github/workflows/publish-pages.yml b/.github/workflows/publish-pages.yml index 7d18fc0c..7b9aee70 100644 --- a/.github/workflows/publish-pages.yml +++ b/.github/workflows/publish-pages.yml @@ -8,6 +8,8 @@ jobs: run: runs-on: ubuntu-latest + permissions: + contents: write steps: - uses: actions/checkout@v2 @@ -31,7 +33,7 @@ jobs: make -C doc html - name: Publish - uses: peaceiris/actions-gh-pages@v3 + uses: peaceiris/actions-gh-pages@068dc23d9710f1ba62e86896f84735d869951305 with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./doc/html