fixup! Github pages + benchmarks.

.github/workflows/release.yaml

@@ -7,6 +7,7 @@ on:
       - "**.md"
       - "**/release.yaml"
       - "static/**"
+      - "docs/**"
     branches:
       - main
 
@@ -47,6 +48,13 @@ jobs:
           github-token: ${{ secrets.GITHUB_TOKEN }}
           comment-on-alert: true
           summary-always: true
-          auto-push: true
-          gh-pages-branch: "main"
+          auto-push: false
           benchmark-data-dir-path: "docs/bench"
+
+      - name: Push benchmark results
+        run: |
+          git config user.name "github-actions[bot]"
+          git config user.email "github-actions[bot]@users.noreply.github.com"
+          git add docs/bench
+          git diff --staged --quiet || git commit -m "Update benchmark results"
+          git push