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

Editorial change: simplified comment

f6c4aea
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
sphinx-content (3.12, 24.x)
succeeded May 30, 2026 in 8m 34s