Fail the CI lint if running linting dirties work tree

Signed-off-by: Ryan Levick <[email protected]>
fermyon · Oct 16, 2023 · cfc1164 · cfc1164
1 parent 88373dd
commit cfc1164
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 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()

diff --git a/examples/spin-timer/Cargo.lock b/examples/spin-timer/Cargo.lock