fix(ci): install protoc for the release build, and allow republishing a tag - #4

Merged

jlucaso1 merged 9 commits into

mainfrom

fix/release-protoc

Aug 7, 2026

Commits on Aug 6, 2026

fix(ci): install protoc for the release build, and allow republishing a tag
jlucaso1
committed
ad9796e

Commits on Aug 7, 2026

fix(ci): scope the recovery dispatch to a tag and pin what publish ships
jlucaso1
committed
4cd4190
fix(ci): check out the dispatch event's sha, not its ref
jlucaso1
committed
92a7686
ci: check out the release commit on the push path too
jlucaso1
committed
e4f66c7
docs(ci): record which tags the recovery dispatch can reach
jlucaso1
committed
6db11c9
fix(ci): serialize releases and prove a dispatch targets a release tag
jlucaso1
committed
0fb8edf
ci: build the commit the release was tagged at on the push path
jlucaso1
committed
adf85df
fix(ci): refuse a release whose commit is not the event's, and pin protoc
jlucaso1
committed
a06a603
fix(ci): bind a recovery dispatch to a commit that reached main
jlucaso1
committed
be326db