add explicit repository

leanprover-community · Aug 2, 2024 · c7967a9 · c7967a9
1 parent 31112d7
commit c7967a9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/monthly_pr_comment.yaml b/.github/workflows/monthly_pr_comment.yaml
@@ -23,6 +23,7 @@ jobs:
 
       - uses: actions/checkout@v4
         with:
+          repository: mathlib4
           fetch-depth: 0
           ref: master
 

diff --git a/.github/workflows/monthly_pr_report.yaml b/.github/workflows/monthly_pr_report.yaml
@@ -21,6 +21,7 @@ jobs:
 
       - uses: actions/checkout@v4
         with:
+          repository: mathlib4
           fetch-depth: 0
           ref: master