Skip to content

Merge release v0.1.13 #180

Merge release v0.1.13

Merge release v0.1.13 #180

Workflow file for this run

name: Publish `main` Documentation
on: [push]
jobs:
build:
name: Publish Development Documentation
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout
uses: actions/checkout@v3
with:
fetch-depth: 0
submodules: 'true'
- name: Set up Python
uses: actions/setup-python@v3
- name: Install Dependencies
run: |
pip install --disable-pip-version-check -r mkdocs_requirements.txt
- name: Configure Git
run: |
git config --local user.name "Doc Deploy Bot"
git config --local user.email "[email protected]"
- name: mike Deploy Main
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
mike deploy --push dev