Re-enable armv7-unknown-linux-gnueabihf

Author: sayantn

ci/dox.sh

@@ -25,9 +25,7 @@ dox() {
 if [ -z "$1" ]; then
   dox i686-unknown-linux-gnu
   dox x86_64-unknown-linux-gnu
-  # Disabled temporarily,
-  # See https://github.com/rust-lang/rust/issues/134511
-  #dox armv7-unknown-linux-gnueabihf
+  dox armv7-unknown-linux-gnueabihf
   dox aarch64-unknown-linux-gnu
   dox powerpc-unknown-linux-gnu
   dox powerpc64le-unknown-linux-gnu