Build the docs site with the dev profile !7

merged merged by cmc on 2026-08-30 17:46 UTC · krz/orgo:pages-debug-profile into main