Merge branch 'master' into patch-1

TuringLang · Dec 13, 2024 · fe685c8 · fe685c8
2 parents 47a97be + 89d03ac
commit fe685c8
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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