fix: github script fix repo

leanprover-community · Oct 28, 2024 · 2073891 · 2073891
1 parent a4f1acd
commit 2073891
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/test_mathlib.yml b/.github/workflows/test_mathlib.yml
@@ -14,6 +14,10 @@ jobs:
     steps:
       - name: Checkout PR
         uses: actions/checkout@v4
+        with:
+          repository: ${{ github.event.workflow_run.head_repository }}
+          ref: ${{github.event.workflow_run.head_branch }}
+          fetch-depth: 0
 
       - name: Get PR info
         id: pr-info