Skip to content

publish v0.2.5: registry entries - #37

Merged
tebako-ci merged 1 commit into
mainfrom
publish/v0.2.5-registry
Sep 19, 2026
Merged

tebako-ci merged 1 commit into
mainfrom
publish/v0.2.5-registry

Conversation

@tebako-ci

Copy link
Copy Markdown
Contributor

Automated registry entries for v0.2.5 — rendered from the
release's per-package .manifest.json shards by tools/registry_update.rb
(spec 13 §2a's release job; spec 04 §2's mirror). main is protected,
so the registry lands by PR.

@tebako-ci
tebako-ci enabled auto-merge (squash) September 19, 2026 02:20
@tebako-ci
tebako-ci merged commit c9d6003 into main Sep 19, 2026
46 checks passed
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