diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0c3c1df1d9..3a1033182c 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -340,7 +340,8 @@ jobs:
         run: rm -f .cargo/config
 
       - name: Build docs
-        run: cargo doc
+        # TODO: Any difference between backends?
+        run: cargo doc --features thumbv7-backend
 
       - name: Check links
         run: |