docs: add GitHub Pages documentation site and AGENT.md - #24

Merged

legraina merged 10 commits into

mainfrom

Jun 11, 2026

Commits on Jun 11, 2026

docs: add GitHub Pages documentation site and AGENT.md

legraina
and
claude
committed
f048d7d
fix(test): skip test_cg_tiny gracefully when MIP solver unavailable

legraina
and
claude
committed
bd85314
fix(test): skip test_cg_tiny on Windows before importing mip

legraina
and
claude
committed
4350602
fix(test): exclude mip from Windows installs; broaden Gurobi teardown filter

legraina
and
claude
committed
2e306dc
fix(test): catch TypeError/OSError in gcov flush fixture on Windows

legraina
and
claude
committed
90648f3
fix(ci): increase gtest discovery timeout; add /run-ci PR comment trigger

legraina
and
claude
committed
0714d0d
fix(docs): add missing just-the-docs gem dependencies to Gemfile

legraina
and
claude
committed
5020c4f
docs: migrate to Sphinx/Furo with full Doxygen + autodoc API reference

legraina
and
claude
committed
5ab5993
ci(pages): also trigger docs build on docs branch for preview

legraina
and
claude
committed
755bfb5
ci: trigger pages deployment
legraina
committed
ced230c