fix benchmark CI: add github-token for gh-pages push

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: TimoLassmann

.github/workflows/benchmark.yml

@@ -95,6 +95,7 @@ jobs:
         with:
           tool: 'customBiggerIsBetter'
           output-file-path: benchmarks/results/benchmark_output.json
+          github-token: ${{ secrets.GITHUB_TOKEN }}
           gh-pages-branch: gh-pages
           benchmark-data-dir-path: dev/bench
           auto-push: true
@@ -108,6 +109,7 @@ jobs:
         with:
           tool: 'customBiggerIsBetter'
           output-file-path: benchmarks/results/benchmark_output.json
+          github-token: ${{ secrets.GITHUB_TOKEN }}
           gh-pages-branch: gh-pages
           benchmark-data-dir-path: dev/bench
           auto-push: false