update

pytorch · Jul 20, 2023 · 300764b · 300764b
1 parent b3d4acf
commit 300764b
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.ci/pytorch/python_doc_push_script.sh b/.ci/pytorch/python_doc_push_script.sh
@@ -85,8 +85,7 @@ pushd docs
 
 # Build the docs
 if [ "$is_main_doc" = true ]; then
-  build_docs html
-  [ $? -eq 0 ] || exit $?
+  build_docs html || exit $?
 
   make coverage
   # Now we have the coverage report, we need to make sure it is empty.
@@ -110,8 +109,7 @@ if [ "$is_main_doc" = true ]; then
   fi
 else
   # skip coverage, format for stable or tags
-  build_docs html-stable
-  [ $? -eq 0 ] || exit $?
+  build_docs html-stable || exit $?
 fi
 
 # Move them into the docs repo