File tree 3 files changed +11
-1
lines changed
3 files changed +11
-1
lines changed Original file line number Diff line number Diff line change 11
11
build :
12
12
runs-on : ubuntu-latest
13
13
steps :
14
- - uses : actions/checkout@v4
14
+ - name : Checkout
15
+ uses : actions/checkout@v4
16
+
17
+ - name : Checkout gh-pages
18
+ uses : actions/checkout@v4
15
19
with :
16
20
ref : ' gh-pages'
21
+ path : ' gh-pages'
17
22
18
23
- name : Update Reports
19
24
run : ./update-pytorch.sh
22
27
env :
23
28
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
24
29
run : |
30
+ cd gh-pages
25
31
git diff-index --quiet HEAD && exit 0 # commit only if something to do
26
32
git config --local user.email "[email protected] "
27
33
git config --local user.name "Update CI"
Original file line number Diff line number Diff line change
1
+ gh-pages /
Original file line number Diff line number Diff line change 1
1
#! /bin/bash
2
2
3
+ [ -d gh-pages ] || git clone -q --branch gh-pages $( git config --get remote.origin.url) gh-pages
4
+ cd gh-pages
5
+
3
6
# update a PyPI index from PyTorch = https://download.pytorch.org/$d with d=whl or whl/<compute platform>
4
7
# this copies the content (main url + follows links to projects) and does 2 updates:
5
8
# 1. copies the content in a "simple/" sub-directory to match the convention from PEP 503 simple (that allows other APIs in parallel)
You can’t perform that action at this time.
0 commit comments