diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 220fb97ec..50b241e9f 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -20,6 +20,7 @@ jobs: if [ ! -z "$STATUS" ]; then echo "FAIL: some files are not correctly formatted."; echo "$STATUS" + git diff echo "FAIL: please run 'make indent'"; exit 1; fi