We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents e3e774a + efd3430 commit 21bec62Copy full SHA for 21bec62
.jenkins/build.sh
@@ -151,6 +151,12 @@ elif [[ "${JOB_TYPE}" == "manager" ]]; then
151
# Step 7: push new HTML files and static files to gh-pages
152
if [[ "$COMMIT_SOURCE" == "refs/heads/master" || "$COMMIT_SOURCE" == "refs/heads/main" ]]; then
153
git clone https://github.com/pytorch/tutorials.git -b gh-pages gh-pages
154
+ # Clean up directories that contain tutorials
155
+
156
+ for dir in beginner intermediate prototype recipes advanced distributed vision text audio; do
157
+ rm -rf "gh-pages/$dir"
158
+ done
159
160
cp -r docs/* gh-pages/
161
pushd gh-pages
162
# DANGER! DO NOT REMOVE THE `set +x` SETTING HERE!
0 commit comments