Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix docs not showing error, remove circleci docs scripts #105678

Closed
wants to merge 2 commits into from
Closed

Fix docs not showing error, remove circleci docs scripts #105678

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b3d4acf
fix docs, remove circleci scripts
clee2000 Jul 20, 2023
300764b
update
clee2000 Jul 20, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
9 changes: 3 additions & 6 deletions .ci/pytorch/python_doc_push_script.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -85,9 +85,8 @@ pushd docs

# Build the docs
if [ "$is_main_doc" = true ]; then
if ! build_docs html; then
exit $?
fi
build_docs html || exit $?

make coverage
# Now we have the coverage report, we need to make sure it is empty.
# Count the number of lines in the file and turn that number into a variable
Expand All @@ -110,9 +109,7 @@ if [ "$is_main_doc" = true ]; then
fi
else
# skip coverage, format for stable or tags
if ! build_docs html-stable; then
exit $?
fi
build_docs html-stable || exit $?
fi

# Move them into the docs repo
Expand Down
105 changes: 0 additions & 105 deletions .circleci/scripts/cpp_doc_push_script.sh
View file
Open in desktop

This file was deleted.

150 changes: 0 additions & 150 deletions .circleci/scripts/python_doc_push_script.sh
View file
Open in desktop

This file was deleted.