Promote reference docs pipeline out of pilot - #94

Open

hey-august wants to merge 18 commits into

mainfrom

august-20260714-promote-reference-to-production

Commits on Aug 17, 2026

Commits on Aug 18, 2026

docs: escape bracketed docstring text that renders as broken links
hey-august
committed
73cd62d
build(reference): harden gen.sh flags, strict build, empty-page guard
hey-august
committed
f1fe4cc
ci(reference): publish docs only from stable, newer releases
hey-august
committed
d7ac075
ci(reference): add non-deploying PR build check
hey-august
committed
b812226
docs(reference): drop pilot framing, document the gated pipeline
hey-august
committed
320f1f6
refactor(reference): remove dead language-switcher CSS
hey-august
committed
288b738
ci(reference): publish via workflow_call, fail closed, restrict dispatch
hey-august
committed
0f0e8f8
ci(reference): scope the PR check and correct what it catches
hey-august
committed
d5b3303
docs(reference): correct rollback, marker, and go-live documentation
hey-august
committed
6730acd
build(reference): correct the empty-page guard rationale, add --help
hey-august
committed
256b36e
fix(pom): the console script is pom-tool, not pom_tool
hey-august
committed
7d35542