diff --git a/.github/workflows/Benchmark.yml b/.github/workflows/Benchmark.yml index 98e0276a..a5298b87 100644 --- a/.github/workflows/Benchmark.yml +++ b/.github/workflows/Benchmark.yml @@ -6,6 +6,11 @@ on: - master workflow_dispatch: +permissions: + contents: write + pull-requests: write + repository-projects: write + jobs: benchmark: strategy: @@ -59,6 +64,8 @@ jobs: needs: benchmark runs-on: ubuntu-latest if: github.event_name == 'pull_request' + permissions: + pull-requests: write steps: - name: Download all benchmark results