Try upgrading actions/github-script to v7

GaloisInc · Sep 25, 2024 · ed621dc · ed621dc
1 parent b6cc712
commit ed621dc
Showing 1 changed file with 2 additions and 9 deletions.
diff --git a/.github/workflows/ci-pr-bench.yml b/.github/workflows/ci-pr-bench.yml
@@ -1,11 +1,5 @@
 name: CI Benchmarks
 
-permissions:
-  id-token: write
-  contents: read
-  issues: write
-  pull-requests: write
-
 on:
   pull_request:
     branches:
@@ -148,11 +142,10 @@ jobs:
         tests/compare-benchmarks.py ${{ env.BASE_DATA }} ${{ env.PR_DATA }} >> ${{ env.COMMENT }}
 
     - name: 'Comment PR'
-      uses: actions/github-script@v4.0.2
+      uses: actions/github-script@v7
       with:
-        github-token: ${{ secrets.GITHUB_TOKEN }}
         script: |
-          github.issues.createComment({
+          github.rest.issues.createComment({
             issue_number: context.issue.number,
             owner: context.repo.owner,
             repo: context.repo.repo,