docs: publish documentation as a GitHub Pages site (Sphinx)#37

Merged

Guillain-RDCDE merged 3 commits into

mainfrom

docs/github-pages-site

Jun 3, 2026

Commits on Jun 3, 2026

docs: publish the documentation as a GitHub Pages site (Sphinx)

Guillain-RDCDE
and
claude
committed
docs: keep _static/_templates dirs so the Sphinx -W build finds them on CI

Guillain-RDCDE
and
claude
committed
docs(conf): assign release from imported module (clears CodeQL unused-import)

Guillain-RDCDE
and
claude
committed