fixup! fixup! fixup! Github pages + benchmarks.

This commit is contained in:
2025-12-07 17:00:33 +00:00
parent 7bb76893f5
commit 9678b8f7b9
2 changed files with 6 additions and 1 deletions
+6 -1
View File
@@ -31,6 +31,9 @@ jobs:
steps:
- name: Checkout
uses: actions/checkout@v4
with:
token: ${{ secrets.GITHUB_TOKEN }}
ref: main
- name: Setup Go
uses: actions/setup-go@v5
@@ -53,9 +56,11 @@ jobs:
benchmark-data-dir-path: "docs/bench"
- name: Push benchmark results
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
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
git push origin main
View File