diff --git a/library/stdarch/ci/dox.sh b/library/stdarch/ci/dox.sh
index 1ab01690975..0e4f24e8640 100755
--- a/library/stdarch/ci/dox.sh
+++ b/library/stdarch/ci/dox.sh
@@ -23,7 +23,9 @@ dox() {
 if [ -z "$1" ]; then
   dox i686-unknown-linux-gnu
   dox x86_64-unknown-linux-gnu
-  dox armv7-unknown-linux-gnueabihf
+  # Disabled temporarily,
+  # See https://github.com/rust-lang/rust/issues/134511
+  #dox armv7-unknown-linux-gnueabihf
   dox aarch64-unknown-linux-gnu
   dox powerpc-unknown-linux-gnu
   dox powerpc64le-unknown-linux-gnu