Build

Tooling, local development setup, CI/CD workflows, deployment environments, and automation details.
Git repository information

Last modified January 16, 2026: chore: Rename 'site' docs section to 'project' and update links (e1bb622)