Merge pull request #915 from fsprojects/dependabot/github_actions/peaceiris/actions-gh-pages-4

Bump peaceiris/actions-gh-pages from 3 to 4

Author: nojaf

.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