From 225abeee9a1a0e64aa101d0215ba4211a3eaa339 Mon Sep 17 00:00:00 2001
From: adomani <adomani@gmail.com>
Date: Fri, 2 Aug 2024 09:42:33 +0200
Subject: [PATCH] show file

---
 .github/workflows/monthly_pr_report.yaml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/monthly_pr_report.yaml b/.github/workflows/monthly_pr_report.yaml
index 520b826e..cacee7fc 100644
--- 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}"