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 push :
55 branches :
66 - ' v*.*'
7- - docs_update
87
98permissions :
109 contents : write
2120 - name : Checkout
2221 uses : actions/checkout@v4
2322 with :
23+ ref : ${{ github.ref_name }}
2424 fetch-depth : 0
2525
2626 - name : Setup python
3434 pip install --upgrade pip
3535 pip install mike mkdocs mkdocs-material
3636
37- - name : Get tag of the version
38- uses : olegtarasov/get-tag@v2.1
39- id : tag_name
40-
41- - name : Get branch names
42- id : branch-name
43- uses : tj-actions/branch-names@v9.0.0
44-
4537 - name : Deploy with mike
4638 run : |
47- mike deploy --push ${{ steps.branch-name.outputs.current_branch }} ${{ steps.tag_name.outputs.tag }} --builder "zensical build"
39+ mike deploy --push ${{ github.ref_name }}
4840 mike set-default --push stable
Original file line number Diff line number Diff line change @@ -50,7 +50,7 @@ repo_url: https://github.com/schism-dev/schism
5050nav :
5151 - Home : index.md
5252 - Changelog : changelog.md
53- - Hello World :
53+ - Getting started :
5454 - Overview : schism/overview.md
5555 - Getting the source code : getting-started/getting-sourcecode.md
5656 - Compilation : getting-started/compilation.md
You can’t perform that action at this time.
0 commit comments