Skip to content

Merge branch 'refactor/dependencies' into 'main' #8

Merge branch 'refactor/dependencies' into 'main'

Merge branch 'refactor/dependencies' into 'main' #8

Workflow file for this run

name: documentation
on: [push, workflow_dispatch]
permissions:
contents: write
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.9'
- name: Install dependencies
run: |
pip install mkdocs-material
- name: Mkdocs build
run: |
mkdocs build --site-dir public
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
with:
publish_branch: gh-pages
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: public/
force_orphan: true