Skip to content

chore(release): finalize Registry Stack v0.12.0 source#425

Merged
jeremi merged 2 commits into
mainfrom
codex/finalize-v0.12.0
Jul 20, 2026
Merged

chore(release): finalize Registry Stack v0.12.0 source#425
jeremi merged 2 commits into
mainfrom
codex/finalize-v0.12.0

Conversation

@jeremi

@jeremi jeremi commented Jul 20, 2026

Copy link
Copy Markdown
Member

Summary

Finalize Registry Stack beta-14 after promotion PR #422 merged to protected main as 0a20f7a81d8ca2fccb70d8f4c088ff5acaf5f66f.

  • pin the beta-14 manifest and v0.12.0 archived docs to that promotion squash commit
  • regenerate the three source-ref-sensitive docs data artifacts
  • remove the exact one-time Notary OpenAPI promotion exception
  • close a confirmed pre-tag release blocker by publishing and verifying OCI source, revision, and version labels on both release images

The manifest remains release-candidate; hosted/public and Solmara holds remain unchanged.

Verification

  • 60 release-tool unit tests
  • manifest validation and 8 versioned docsets
  • import-map audit and monorepo source proof
  • normal Notary OpenAPI comparison against 0a20f7a8
  • latest and v0.12.0 docset checks
  • 117 docs tests
  • v0.12.0 archive build
  • all historical archive builds
  • SEO validation across 225 latest and 2,841 archived pages
  • 490,535 internal links and assets
  • Actionlint
  • git diff --check

Signed-off-by: Jeremi Joslin jeremi@joslin.fr

jeremi added 2 commits July 20, 2026 09:44
Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
Signed-off-by: Jeremi Joslin <jeremi@joslin.fr>
@jeremi
jeremi merged commit be22111 into main Jul 20, 2026
22 checks passed
@jeremi
jeremi deleted the codex/finalize-v0.12.0 branch July 20, 2026 03:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant