File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -2,29 +2,29 @@ name: Release Documentation
22
33on :
44 release :
5- types : [published]
5+ types : [ published ]
66
77jobs :
88 docs :
99 runs-on : ubuntu-latest
1010
1111 steps :
12- - name : Checkout code
13- uses : actions/checkout@v2
14- with :
15- fetch-depth : 0
16- - name : Set up python 3
17- uses : actions/setup-python@v2
18- with :
19- python-version : 3.x
20- - name : Install mkdocs
21- run : pip install mkdocs-material
22- - name : Install mike
23- run : pip install mike
24- - name : Set up git credentials
25- uses : oleksiyrudenko/gha-git-credentials@v2-latest
26- with :
27- global : true
28- token : ${{ secrets.USER_TOKEN }}
29- - name : Deploy docs
30- run : mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest
12+ - name : Checkout code
13+ uses : actions/checkout@v2
14+ with :
15+ fetch-depth : 0
16+ - name : Set up python 3
17+ uses : actions/setup-python@v2
18+ with :
19+ python-version : 3.x
20+ - name : Install mkdocs
21+ run : pip install mkdocs-material
22+ - name : Install mike
23+ run : pip install mike
24+ - name : Set up git credentials
25+ uses : oleksiyrudenko/gha-git-credentials@v2-latest
26+ with :
27+ global : true
28+ token : ${{ secrets.USER_TOKEN }}
29+ - name : Deploy docs
30+ run : mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest
You can’t perform that action at this time.
0 commit comments