ci: keep Cargo.lock in sync through releases and build --locked (#242) - #243

Open

beardthelion wants to merge 6 commits into

mainfrom

ci/242-lock-sync-release

Commits on Jul 27, 2026

chore: sync Cargo.lock with the 0.6.0 manifests
t
committed
ci: lock-sync the release PR and build --locked so lock drift fails loudly (#242)
t
committed
ci: dispatch pr-checks on the release branch so GITHUB_TOKEN pushes still get validated
t
committed
chore: regenerate Cargo.lock for the 0.7.0 manifests after rebase
t
committed
ci: fail the release-lock job on a failed dispatch, and scope release-PR discovery
t
committed

Commits on Jul 28, 2026

ci: declare the lock-sync toolchain and extend --locked to the shipping builds
t
committed