diff --git a/.github/workflows/static-analysis.yaml b/.github/workflows/static-analysis.yaml index 627015585..a7ee8d6aa 100644 --- a/.github/workflows/static-analysis.yaml +++ b/.github/workflows/static-analysis.yaml @@ -30,3 +30,13 @@ jobs: set -euo pipefail make fix + + DIFF=$(git status --porcelain) + + if [ -n "$DIFF" ]; then + echo "These files were modified:" + echo + echo "$DIFF" + echo + exit 1 + fi