Permissions

cknitt · cknitt · commit 833b97fec0e2 · 2024-10-12T10:25:32.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -82,6 +82,10 @@ jobs:
           path: ${{ env.artifact_dir_name }}
 
   build-compiler:
+    permissions:
+      # benchmark-action/github-action-benchmark
+      pull-requests: write
+
     strategy:
       fail-fast: false
       matrix:
