From cc41a00db790db5222043e151ddab8e2963780f8 Mon Sep 17 00:00:00 2001
From: MikeRotchip <p3tr.kada@gmail.com>
Date: Tue, 8 Oct 2024 18:56:48 +0200
Subject: [PATCH] echo schema diff

---
 .../check-pg_analytics-schema-upgrade.yml      | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/check-pg_analytics-schema-upgrade.yml b/.github/workflows/check-pg_analytics-schema-upgrade.yml
index cabe6006..939485e0 100644
--- a/.github/workflows/check-pg_analytics-schema-upgrade.yml
+++ b/.github/workflows/check-pg_analytics-schema-upgrade.yml
@@ -120,17 +120,17 @@ jobs:
               echo '```'
 
               #
-              # cargo-pgrx schema doesn't output its generated schema in a stable format
-              # so including the entire diff is garbage.  We still generate it, tho, because
-              # cargo-pgrx will improve someday, and when it does we can uncomment these lines
+              # Include the full schema diff, for informational purposes
               #
 
-              # echo
-              # echo 'The full diff between both schemas is:'
-              # echo
-              # echo '```diff'
-              # cat ~/diff.patch
-              # echo '```'
+              echo
+              echo '<details>'
+              echo '<summary>The full diff between both schemas is:</summary>'
+              echo
+              echo '```diff'
+              cat ~/diff.patch
+              echo '```'
+              echo '</details>'
               echo EOF
             } >> "$GITHUB_ENV"