From 19112c7dbdc3afd1a08e4a317f9762c508c3955c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roger=20Vil=C3=A0?= Date: Tue, 21 Oct 2025 08:00:51 +0200 Subject: [PATCH 1/2] Update benchmark.yml to include permissions Add permissions for pull requests and issues in benchmark workflow --- .github/workflows/benchmark.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml index b3bfa89..42211f3 100644 --- a/.github/workflows/benchmark.yml +++ b/.github/workflows/benchmark.yml @@ -6,6 +6,10 @@ on: - master types: [opened, synchronize, reopened] +permissions: + pull-requests: write + issues: write + jobs: benchmark: runs-on: ubuntu-latest From dc7ceeb2a41f79d7de064e61a38df42fac32206d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roger=20Vil=C3=A0?= Date: Tue, 21 Oct 2025 08:09:04 +0200 Subject: [PATCH 2/2] Update benchmark.yml --- .github/workflows/benchmark.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml index 42211f3..2139b8d 100644 --- a/.github/workflows/benchmark.yml +++ b/.github/workflows/benchmark.yml @@ -12,6 +12,7 @@ permissions: jobs: benchmark: + runs-on: ubuntu-latest steps: @@ -92,7 +93,8 @@ jobs: # Step 10: Post results as PR comment - name: Comment PR with benchmark results - uses: actions/github-script@v6 + if: ${{ github.actor != 'dependabot[bot]' }} + uses: actions/github-script@v8 with: github-token: ${{ secrets.GITHUB_TOKEN }} script: |