If formatting fails in CI, print detailed diff (#5756)

Co-authored-by: Anton Kolesnyk <antkmsft@users.noreply.github.com>
This commit is contained in:
Anton Kolesnyk 2024-07-01 17:43:22 -07:00 committed by GitHub
parent b0aa9bb924
commit f8130a26ae
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -143,6 +143,11 @@ jobs:
echo ""
echo "List of files not formatted correctly:"
git status | grep modified | awk '{print $2}'
echo ""
echo ""
echo "--- Differences (patch file): ---"
git diff
echo "--- (You can apply the diff above locally using the 'git apply --ignore-space-change <patch_file>' command) ---"
exit 1
fi