print path

leanprover-community · Aug 2, 2024 · e2eb004 · e2eb004
1 parent 3115cff
commit e2eb004
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/monthly_pr_report.yaml b/.github/workflows/monthly_pr_report.yaml
@@ -53,4 +53,5 @@ jobs:
               s=\n---\nReports\n\n=\n</details>\n\n---\n\n<details><summary>Reports</summary>\n\n=
               s=\n---[\n]*$=\n\n</details>\n&=
             ')"
-          ./mathlib/scripts/update_PR_comment.sh "${message}" "${title}" "${PR}"
+          pwd
+          ./scripts/update_PR_comment.sh "${message}" "${title}" "${PR}"