Github pages + benchmarks.

2026-10-18 06:17:56 +00:00 · 2025-12-07 16:46:13 +00:00
parent 7c80d6adaa
commit 996d29b57b
3 changed files with 617 additions and 2 deletions
@@ -105,5 +105,5 @@ jobs:
          summary-always: true
          # auto-push only if it's on main branch
          auto-push: false
-          gh-pages-branch: "gh-pages"
-          benchmark-data-dir-path: "docs"
+          gh-pages-branch: "main"
+          benchmark-data-dir-path: "docs/bench"