| 8 |
# A workflow run is made up of one or more jobs that can run sequentially or in parallel |
# A workflow run is made up of one or more jobs that can run sequentially or in parallel |
| 9 |
jobs: |
jobs: |
| 10 |
# This workflow contains a single job called "build" |
# This workflow contains a single job called "build" |
| 11 |
build: |
docs-deploy: |
| 12 |
# The type of runner that the job will run on |
# The type of runner that the job will run on |
| 13 |
runs-on: ubuntu-latest |
runs-on: ubuntu-latest |
| 14 |
|
|
| 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 mike |
run: pip install mkdocs mkdocs-material mkdocs-social |
| 22 |
|
|
| 23 |
- name: Set version |
- name: Set version |
| 24 |
run: echo "RELEASE_VERSION=${GITHUB_REF#refs/*/}" >> $GITHUB_ENV |
run: echo "RELEASE_VERSION=${GITHUB_REF#refs/*/}" >> $GITHUB_ENV |
| 25 |
|
|
| 26 |
- name: Build docs |
- name: Build docs |
| 27 |
run: mike deploy $RELEASE_VERSION |
run: mkdocs build |
| 28 |
|
|
| 29 |
- name: Deploy 🚀 |
- name: Deploy 🚀 |
| 30 |
uses: JamesIves/[email protected] |
uses: JamesIves/[email protected] |
Parent Directory
| 
Revision Log
| 
Patch