diff --git a/.github/workflows/push-main.yml b/.github/workflows/push-main.yml index 68e378b5..bdccf761 100644 --- a/.github/workflows/push-main.yml +++ b/.github/workflows/push-main.yml @@ -21,7 +21,7 @@ jobs: - name: Run CI run: dotnet fsi build.fsx - name: Deploy docs - uses: peaceiris/actions-gh-pages@v3 + uses: peaceiris/actions-gh-pages@v4 with: personal_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./output