Skip to content

Sphinx: per-unit dev builds via UNIT= parameter#1361

Merged
gusthoff merged 17 commits into
AdaCore:mainfrom
gusthoff:topic/infrastructure/sphinx/structure/multi_prj/20260529
May 30, 2026
Merged

Sphinx: per-unit dev builds via UNIT= parameter#1361
gusthoff merged 17 commits into
AdaCore:mainfrom
gusthoff:topic/infrastructure/sphinx/structure/multi_prj/20260529

Commits

Commits on May 29, 2026