Update coq-timing-diff.yml with github token

mit-plv · Mar 4, 2025 · 547c55f · 547c55f
1 parent 72aa190
commit 547c55f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/coq-timing-diff.yml b/.github/workflows/coq-timing-diff.yml
@@ -59,6 +59,8 @@ jobs:
           etc/ci/describe-system-config.sh
     - name: compute base sha and current branch
       id: git_ids
+      env:
+        GH_TOKEN: ${{ github.token }}
       run: |
         # Get the current branch name
         CURRENT_BRANCH=${GITHUB_REF#refs/heads/}