Regenerate GitHub Actions workflow

Executed command: sbt githubWorkflowGenerate

Author: typelevel-steward[bot]

.github/workflows/ci.yml

@@ -269,7 +269,7 @@ jobs:
 
       - name: Publish site
         if: github.event_name != 'pull_request' && github.ref == 'refs/heads/main'
-        uses: peaceiris/actions-gh-pages@v3.9.3
+        uses: peaceiris/actions-gh-pages@v4.0.0
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: site/target/docs/site