From 63cfd3c938aae8c15d552653beff9929dc605be9 Mon Sep 17 00:00:00 2001
From: "F. G. Dorais" <fgdorais@gmail.com>
Date: Sun, 27 Oct 2024 20:06:18 -0400
Subject: [PATCH] fix: missing github token

---
 .github/workflows/test_mathlib.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/test_mathlib.yml b/.github/workflows/test_mathlib.yml
index 6b5c7a4d94..650fe9c829 100644
--- a/.github/workflows/test_mathlib.yml
+++ b/.github/workflows/test_mathlib.yml
@@ -20,6 +20,8 @@ jobs:
         run: |
           echo "pullRequestNumber=$(gh pr view --json number -q .number || echo '')" >> $GITHUB_OUTPUTS
           echo "targetBranch=$(gh pr view --json baseRefName -q .baseRefName || echo '')" >> $GITHUB_OUTPUTS
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
       - name: Checkout mathlib4 repository
         if: steps.pr-info.outputs.pullRequestNumber != '' && steps.pr-info.outputs.targetBranch == 'main'