Disable armv7-unknown-linux-gnueabihf dox.sh CI temporarily

Author: sayantn

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