diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 23b1cb1e40a1..e9495abdc13e 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -635,7 +635,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