File tree 1 file changed +9
-6
lines changed
1 file changed +9
-6
lines changed Original file line number Diff line number Diff line change 6
6
- develop
7
7
8
8
jobs :
9
- api- docs :
9
+ docs :
10
10
runs-on : ubuntu-latest
11
11
steps :
12
12
- uses : actions/checkout@v2
16
16
uses : actions/setup-python@v1
17
17
with :
18
18
python-version : " 3.8"
19
- - name : Capture branch and tag
20
- id : branch_name
21
- run : |
22
- echo "SOURCE_BRANCH=${GITHUB_REF#refs/heads/}" >> $GITHUB_ENV
23
- echo "SOURCE_TAG=${GITHUB_REF#refs/tags/}" >> $GITHUB_ENV
24
19
- name : Install dependencies
25
20
run : make dev
26
21
- name : Setup doc deploy
36
31
publish_dir : ./api
37
32
keep_files : true
38
33
destination_dir : develop/api
34
+ - name : Create redirect from old docs
35
+ run : |
36
+ git checkout gh-pages
37
+ test -f 404.html && echo "Redirect already set" && exit 0
38
+ git checkout develop -- 404.html
39
+ git add 404.html
40
+ git commit -m "chore: set docs redirect" --no-verify
41
+ git push origin gh-pages -f
You can’t perform that action at this time.
0 commit comments