Update pull-request.yml

earlephilhower · web-flow · commit 177a2d03a1e3 · 2021-07-29T07:56:10.000-07:00
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
@@ -37,6 +37,8 @@ jobs:
     - name: Check boards.txt was not edited after makeboards.py
       run: |
         ./tools/makeboards.py > boards.txt
+        # If anything changed, GIT should return an error and fail the test
+        git diff --exit-code
     - name: Run astyle on all code/examples
       run: |
         sudo apt update
