Add GitHub Pages documentation site via MkDocs - #156

Merged

Laveesh Rohra (larohra) merged 6 commits into

mainfrom

larohra-github-pages-mkdocs

Aug 12, 2026

Commits on Aug 11, 2026

Add GitHub Pages documentation site via MkDocs

Laveesh Rohra (larohra)
and
Copilot
committed
1073e5b

Commits on Aug 12, 2026

Use uv for documentation dependencies
Laveesh Rohra (larohra)
committed
2767031
Render mermaid code fences as diagrams in docs site
Laveesh Rohra (larohra)
committed
838a406
Address PR review feedback: pin Actions to SHAs, add front-matter-reference to nav

Laveesh Rohra (larohra)
and
Copilot
committed
39532f9
Grant Pages permission to documentation build job
Laveesh Rohra (larohra)
committed
fe8fdc8
Default requirements.txt quickstart to [monitor] extra per review feedback

Copilot
and
Laveesh Rohra (larohra)
authored
54d874e