Skip to content

Merge branch 'main' into main #9

Merge branch 'main' into main

Merge branch 'main' into main #9

Workflow file for this run

name: ci
on:
push:
branches: [ main ]
jobs:
deploy:
name: Deploy MkDocs to GitHub Pages (on main)
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v5
name: Checkout Code
with:
fetch-depth: 0
- uses: actions/setup-python@v6
name: Setup Python
with:
python-version: 3.x
- name: Install dependencies
run: pip install -r requirements.txt
- name: Deploy to GitHub Pages
run: mkdocs gh-deploy --force --strict