diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 32bdb6f42b8f..12e90eb9d653 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -712,7 +712,7 @@ jobs: ./project/scripts/genDocs -doc-snapshot - name: Deploy Website to dotty-website - uses: peaceiris/actions-gh-pages@v3 + uses: peaceiris/actions-gh-pages@v4 with: personal_token: ${{ env.DOTTY_WEBSITE_BOT_TOKEN }} publish_dir: docs/_site