File tree Expand file tree Collapse file tree 1 file changed +38
-0
lines changed
Expand file tree Collapse file tree 1 file changed +38
-0
lines changed Original file line number Diff line number Diff line change 1+ name : Publish docs via GitHub Pages
2+ on :
3+ workflow_dispatch :
4+ push :
5+ branches : ["1.20.1", "1.21"]
6+ paths : ['docs/**']
7+
8+ permissions :
9+ contents : write
10+
11+ concurrency :
12+ group : ' pages'
13+ cancel-in-progress : false
14+
15+ jobs :
16+ build :
17+ name : build docs
18+ runs-on : ubuntu-latest
19+ defaults :
20+ run :
21+ working-directory : ' ./docs'
22+ steps :
23+ - uses : actions/checkout@v4
24+ with :
25+ ref : ' ${{ github.ref_name }}'
26+ fetch-depth : 0
27+ - uses : actions/setup-python@v4
28+ with :
29+ python-version : ' 3.11'
30+ cache : ' pip'
31+ - name : Install packages
32+ run : pip install -r ./requirements.txt
33+ - name : Set git username and password
34+ run : git config user.name 'github-actions[bot]'; git config user.email '41898282+github-actions[bot]@users.noreply.github.com'
35+ - name : Deploy pages to gh-pages branch
36+ run : mike deploy "${{ github.ref_name }}" --push
37+ - name : Ensure 1.20.1 is the default version
38+ run : mike set-default 1.20.1 --push
You can’t perform that action at this time.
0 commit comments