Merge pull request #1894 from fermyon/fail-linting-on-dirty-diff

Fail the CI lint if running linting dirties work tree
fermyon · Oct 16, 2023 · be6e2ef · be6e2ef
2 parents ad9d6ad + cfc1164
commit be6e2ef
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -36,8 +36,9 @@ jobs:
           rust-cache: true
 
       - name: Run lints
-        run:
-          BUILD_SPIN_EXAMPLES=0 make lint
+        run: |
+            BUILD_SPIN_EXAMPLES=0 make lint
+            git diff --quiet . || (echo "Git working tree dirtied by lints. Run `make lint` and check in changes" && exit 1)
 
       - name: Cancel everything if linting fails
         if: failure()