show other message

leanprover-community · Aug 2, 2024 · d5a114b · d5a114b
1 parent ff1b5f0
commit d5a114b
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
@@ -39,7 +39,7 @@ jobs:
 
           #git checkout origin/adomani/yd_find_label monthly_summary.sh
           message="$(printf '%s\n\n%s\n' "${title}" "$(cd mathlib; ./../blog/monthly_summary.sh "${MATHLIB}" "${yrMth}")")"
-          echo "${message}"
+          #echo "${message}"
           baseUrl="https://github.com/${MATHLIB}/pull"
           message="$(echo "${message}" |
             sed '
@@ -53,6 +53,7 @@ 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&=
             ')"
+          echo "${message}"
           echo "pwd"
           pwd
           echo "ls"