File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 44 release :
55 types : [published]
66
7+ permissions :
8+ contents : write
9+
710jobs :
811 docs :
912 runs-on : ubuntu-latest
1013
1114 steps :
12- - name : Checkout code
13- uses : actions/checkout@v4
14- with :
15- fetch-depth : 0
16- - name : Set up python 3
17- uses : actions/setup-python@v5
18- with :
19- python-version : 3.x
20- - name : Install mkdocs and mike
21- run : pip install mkdocs-material mkdocs-rss-plugin mike
22- - name : Set up git credentials
23- uses : oleksiyrudenko/gha-git-credentials@v2-latest
24- with :
25- global : true
26- token : ${{ secrets.USER_TOKEN }}
27- - name : Deploy docs
28- run : mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest
29- - name : Set default
30- run : mike set-default --push latest
15+ - name : Checkout code
16+ uses : actions/checkout@v4
17+ with :
18+ fetch-depth : 0
19+
20+ - name : Set up Git credentials
21+ run : |
22+ git config --global user.name "github-actions[bot]"
23+ git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
24+ git remote set-url origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}.git
25+
26+ - name : Set up python 3
27+ uses : actions/setup-python@v5
28+ with :
29+ python-version : 3.x
30+
31+ - name : Install mkdocs, plugins and mike
32+ run : pip install mkdocs-material mkdocs-rss-plugin mike
33+
34+ - name : Deploy docs
35+ run : mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest
36+
37+ - name : Set default
38+ run : mike set-default --push latest
You can’t perform that action at this time.
0 commit comments