From 0ece40453a074273f9f5300048b579b75f0d2ae8 Mon Sep 17 00:00:00 2001
From: Wei Fu <fuweid89@gmail.com>
Date: Sat, 30 Sep 2023 17:35:14 +0800
Subject: [PATCH] .github: ensure there is no change after make-fix

Signed-off-by: Wei Fu <fuweid89@gmail.com>
---
 .github/workflows/static-analysis.yaml | 10 ++++++++++
 1 file changed, 10 insertions(+)

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