From 2ea08fa84df7cf910ea1d2e30c1052f52bc77a49 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Fri, 24 Feb 2023 01:24:43 +0100
Subject: [PATCH] CI: cargo doc needs a backend

---
 .github/workflows/build.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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: |