ci: unblock the release with an org-owned GitHub App, and serialise the CodSpeed bench - #89

Merged

wayfarer3130 merged 7 commits into

mainfrom

ci/serialize-codspeed-simulation-bench

Aug 27, 2026

Commits on Aug 27, 2026

ci: measure the CodSpeed simulation benches one package at a time

wayfarer3130
and
claude
committed
b66d62c
ci: push release refs atomically so rejected branch updates leave no tags

wayfarer3130
and
claude
committed
19fd944
ci: push the release commit with an org-owned GitHub App, not GITHUB_TOKEN

wayfarer3130
and
claude
committed
69c77cf
chore: drop stray orphan-tags.txt

wayfarer3130
and
claude
committed
dde54f2
ci: allow a repo-scoped deploy key as the release push credential

wayfarer3130
and
claude
committed
b863c56
ci: scope the release App token, and gate the deploy-key bypass on an audit

wayfarer3130
and
claude
committed
815e1ec
docs: correct which pushes GitHub suppresses workflow runs for

wayfarer3130
and
claude
committed
aa3fab4