Publish docs to GitHub Pages

This repository now includes a dedicated workflow:

  • .github/workflows/docs.yml

It builds MkDocs and deploys to GitHub Pages via GitHub Actions.

One-time GitHub setup

  1. Open repository Settings → Pages
  2. Set Source to GitHub Actions

Triggering publication

  • Automatic on push to main when docs-related files change
  • Manual via Actions → Docs → Run workflow

Local preview

make docs-serve

Local strict build

make docs-build