Add more permissions settings to benchmark CI (#265)

TuringLang · Dec 14, 2024 · 73eb637 · 73eb637
1 parent 89d03ac
commit 73eb637
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/Benchmark.yml b/.github/workflows/Benchmark.yml
@@ -66,6 +66,7 @@ jobs:
     if: github.event_name == 'pull_request'
     permissions:
       pull-requests: write
+      contents: write
 
     steps:
     - name: Download all benchmark results
@@ -84,6 +85,7 @@ jobs:
 
     - name: Post combined results to PR
       uses: marocchino/sticky-pull-request-comment@v2
+      if: ${{ github.event.pull_request.head.repo.full_name == github.repository }}
       with:
         path: combined_benchmark_results.txt
         recreate: true