Skip to content

docs: record the v0.11.0 publish and the site redeploy - #721

Merged
REPPL merged 1 commit into
mainfrom
docs/v0110-publish-record
Sep 26, 2026
Merged

REPPL merged 1 commit into
mainfrom
docs/v0110-publish-record

Conversation

@REPPL

@REPPL REPPL commented Sep 26, 2026

Copy link
Copy Markdown
Collaborator

Records the v0.11.0 publish in the decision log, as the release ceremony requires after the cut.

  • The run approved the release environment under ruling A2 and the releases ruling of 2026-09-25T08:04:52Z once the merge queue, the verify job and main's CI on the tagged commit were green.
  • The one red run on that commit was the site preview, a non-gating deploy whose probe had refused on every push since the root help was grouped (iss-2609260709386741, fixed in fix: the site workflow finds the site verb under grouped help #720). v0.11.0's production site render failed the same way after publishing, and the site was then redeployed from main naming the tag, which rendered abcdev.app from the released binary and attached site.tar.gz.

Refs: iss-2609260709386741
Assisted-by: Claude:claude-opus-5-5

Refs: iss-2609260709386741
Assisted-by: Claude:claude-opus-5-5
@REPPL
REPPL enabled auto-merge September 26, 2026 08:42
@REPPL
REPPL added this pull request to the merge queue Sep 26, 2026
Merged via the queue into main with commit 85a10e1 Sep 26, 2026
12 checks passed
@REPPL
REPPL deleted the docs/v0110-publish-record branch September 26, 2026 09:13
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