show file

leanprover-community · Aug 2, 2024 · 225abee · 225abee
1 parent 715323e
commit 225abee
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/monthly_pr_report.yaml b/.github/workflows/monthly_pr_report.yaml
@@ -57,8 +57,9 @@ jobs:
           pwd
           echo "ls"
           ls
-          cd ..
-          echo ".. ls"
-          pwd
+          #cd ..
+          #echo ".. ls"
+          #pwd
           ls
+          cat mathlib/scripts/update_PR_comment.sh
           ./mathlib/scripts/update_PR_comment.sh "${message}" "${title}" "${PR}"