WIP: Build doc update
build documentation (BUILD.md) fixes (typos, errors, broken links, clarifications) Prefixed with WIP to prevent CI but could be merged after review: no source modifications.
Maintenance operation of our GitLab server is scheduled for Thursday, March 12, 2026, at 12:15 PM.
build documentation (BUILD.md) fixes (typos, errors, broken links, clarifications) Prefixed with WIP to prevent CI but could be merged after review: no source modifications.