From 4e65cda8c2d89fa176f6f3cbd94dbcd238bd7ec7 Mon Sep 17 00:00:00 2001 From: "Michael B. Gale" Date: Thu, 25 Sep 2025 13:30:00 +0100 Subject: [PATCH] Add generated workflow diff to job summary if changed --- .github/workflows/script/verify-pr-checks.sh | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/script/verify-pr-checks.sh b/.github/workflows/script/verify-pr-checks.sh index cf9e79bad..6aa1381e2 100755 --- a/.github/workflows/script/verify-pr-checks.sh +++ b/.github/workflows/script/verify-pr-checks.sh @@ -20,6 +20,14 @@ if [ ! -z "$(git status --porcelain)" ]; then git diff git status >&2 echo "Failed: PR checks are not up to date. Run 'cd pr-checks && python3 sync.py' to update" + + echo "### Generated workflows diff" >> $GITHUB_STEP_SUMMARY + echo "" >> $GITHUB_STEP_SUMMARY + echo '```diff' >> $GITHUB_STEP_SUMMARY + git diff --output="$RUNNER_TEMP/workflows.diff" + cat "$RUNNER_TEMP/workflows.diff" >> $GITHUB_STEP_SUMMARY + echo '```' >> $GITHUB_STEP_SUMMARY + exit 1 fi -echo "Success: PR checks are up to date" \ No newline at end of file +echo "Success: PR checks are up to date"