diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 71a2c4ed6eb0..ef2fbf5292b3 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -692,7 +692,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