Skip to content
Docs

docs: publish user docs using github pages (#80) #1

Sign in to view logs

docs: publish user docs using github pages (#80)

docs: publish user docs using github pages (#80) #1

Workflow file for this run

.github/workflows/docs.yaml at 341f856
---
name: Docs
on:
push:
tags:
- '*'
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/[email protected]
- uses: actions/[email protected]
with:
python-version: 3.x
- run: pip install mkdocs-material mkdocs-material-extensions mike
- run: mkdocs gh-deploy --force