diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index c23dcd4b9..f21ec2bc1 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -65,7 +65,6 @@ jobs:
       - run: make generate-docs
       - name: Check no diff
         run: |
-          git diff-index --quiet HEAD
           if [ ! -z "$(git status --porcelain)" ]; then echo "Doc generation produced diff. Run 'make generate-docs' and commit results."; exit 1; fi
 
   test: