| 18 |
- uses: actions/checkout@v3 |
- uses: actions/checkout@v3 |
| 19 |
- uses: actions/[email protected] |
- uses: actions/[email protected] |
| 20 |
- name: Install Mkdocs |
- name: Install Mkdocs |
| 21 |
run: pip install mkdocs mkdocs-material |
run: pip install mkdocs mkdocs-material mike |
| 22 |
|
|
| 23 |
|
- name: Set version |
| 24 |
|
run: echo "RELEASE_VERSION=${GITHUB_REF#refs/*/}" >> $GITHUB_ENV |
| 25 |
|
|
| 26 |
- name: Build docs |
- name: Build docs |
| 27 |
run: mkdocs build |
run: mike deploy $RELEASE_VERSION |
| 28 |
|
|
| 29 |
- name: Deploy 🚀 |
- name: Deploy 🚀 |
| 30 |
uses: JamesIves/[email protected] |
uses: JamesIves/[email protected] |
Parent Directory
| 
Revision Log
| 
Patch