Skip to content

Commit cb97be5

Browse files
committed
tc
1 parent 9563283 commit cb97be5

File tree

2 files changed

+8
-5
lines changed

2 files changed

+8
-5
lines changed

.github/workflows/lint.yml renamed to .github/workflows/lintrunner.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
name: Lint
1+
name: Lintrunner
22

33
on:
44
push:

.jenkins/build.sh

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,9 @@ export LANG=C.UTF-8
1010

1111
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )"
1212

13+
14+
pip install -e git+https://github.com/pytorch/pytorch_sphinx_theme.git@csl/handle_new_sphinx_version#egg=pytorch_sphinx_theme
15+
1316
# Update root certificates by installing new libgnutls30
1417

1518
# Install pandoc (does not install from pypi)
@@ -57,7 +60,7 @@ if [[ "${JOB_TYPE}" == "worker" ]]; then
5760
export FILES_TO_RUN
5861

5962
# Step 3: Run `make docs` to generate HTML files and static files for these tutorialis
60-
pip3 install -e git+https://github.com/pytorch/pytorch_sphinx_theme.git#egg=pytorch_sphinx_theme
63+
pip3 install -e git+https://github.com/pytorch/pytorch_sphinx_theme.git@csl/handle_new_sphinx_version#egg=pytorch_sphinx_theme
6164
make docs
6265

6366
# Step 3.1: Run the post-processing script:
@@ -119,7 +122,7 @@ if [[ "${JOB_TYPE}" == "worker" ]]; then
119122
awsv2 s3 cp worker_${WORKER_ID}.7z s3://${BUCKET_NAME}/${COMMIT_ID}/worker_${WORKER_ID}.7z
120123
elif [[ "${JOB_TYPE}" == "manager" ]]; then
121124
# Step 1: Generate no-plot HTML pages for all tutorials
122-
pip3 install -e git+https://github.com/pytorch/pytorch_sphinx_theme.git#egg=pytorch_sphinx_theme
125+
pip3 install -e git+https://github.com/pytorch/pytorch_sphinx_theme.git@csl/handle_new_sphinx_version#egg=pytorch_sphinx_theme
123126
make html-noplot
124127
cp -r _build/html docs
125128

@@ -152,11 +155,11 @@ elif [[ "${JOB_TYPE}" == "manager" ]]; then
152155
if [[ "$COMMIT_SOURCE" == "refs/heads/master" || "$COMMIT_SOURCE" == "refs/heads/main" ]]; then
153156
git clone https://github.com/pytorch/tutorials.git -b gh-pages gh-pages
154157
# Clean up directories that contain tutorials
155-
158+
156159
for dir in beginner intermediate prototype recipes advanced distributed vision text audio; do
157160
rm -rf "gh-pages/$dir"
158161
done
159-
162+
160163
cp -r docs/* gh-pages/
161164
pushd gh-pages
162165
# DANGER! DO NOT REMOVE THE `set +x` SETTING HERE!

0 commit comments

Comments
 (0)