From f68ad2e095b7a69cc851fe51576c72b7a721a225 Mon Sep 17 00:00:00 2001 From: Benoit Chesneau Date: Fri, 23 Jan 2026 10:04:57 +0100 Subject: [PATCH] ci: add git diff output to diagnose settings.md issue --- .github/workflows/lint.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index a51f41fb..8e1e6a2d 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -48,5 +48,6 @@ jobs: else echo "did you forget to run 'python scripts/build_settings_doc.py'?" echo "$unclean" + git diff exit 2 fi