Skip to content

Deploy on GitHub Pages #10

Deploy on GitHub Pages

Deploy on GitHub Pages #10

Workflow file for this run

name: Deploy on GitHub Pages
on:
workflow_dispatch:
push:
branches: ["main"]
paths: ["docs/**"]
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v3
with:
python-version: 3.x
- run: pip install mkdocs-material mkdocs-minify-plugin
- run: mkdocs gh-deploy --force