diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 881519cd7f9eeac53c72237960f005f9c754bba9..9750b40f38c8f47ec0a88a002c0694246408565d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -72,7 +72,7 @@ jobs:
       - name: Check docs
         run: |
           cargo doc --package libhermit-rs --no-deps --document-private-items --target x86_64-unknown-none
-          cargo doc --package libhermit-rs --no-deps --document-private-items --target aarch64-unknown-none-softfloat
+          cargo doc --package libhermit-rs --no-deps --document-private-items --target aarch64-unknown-none-softfloat --no-default-features
 
   build:
     name: Build