From ead100aac3640afd9a0ed05559b00d7660a1de8b Mon Sep 17 00:00:00 2001
From: Andrew Zhu <me@andrew-zhu.com>
Date: Wed, 13 Mar 2024 15:12:46 -0400
Subject: [PATCH] build: permission to comment on prs

---
 .github/workflows/leaderboard-submission.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/leaderboard-submission.yml b/.github/workflows/leaderboard-submission.yml
index b3dacf3..9073cf0 100644
--- a/.github/workflows/leaderboard-submission.yml
+++ b/.github/workflows/leaderboard-submission.yml
@@ -9,6 +9,10 @@ on:
       - leaderboard-submissions/metadata/*.json
       - leaderboard-submissions/*generations/*.jsonl
 
+permissions:
+  pull-requests: write
+  contents: write
+
 jobs:
   evaluate:
     runs-on: ubuntu-latest
@@ -68,7 +72,7 @@ jobs:
       - name: Add PR comment (success)
         if: steps.eval.outputs.changed > 0
         env:
-          RUN_LINK: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}/job/${{ github.job }})
+          RUN_LINK: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}/job/${{ github.job_id }}
         run: python leaderboard-submissions/gh-print-new-results.py ${{ steps.eval.outputs.written-results }} | gh pr comment ${{ github.event.number }} -F -
 
 #      - name: Commit results files to PR