ci: automate crates.io + GitHub release publishing via release-plz#3308

Open

mvanhorn wants to merge 3 commits into

ProvableHQ:stagingfrom

mvanhorn:ci/3291-ci-automate-cratesio--github-release-pub

Commits on Jun 16, 2026

ci: automate crates.io + GitHub release publishing via release-plz

mvanhorn
and
claude
committed
ci: grant pull-requests:read so release-plz can resolve associated PRs

mvanhorn
and
claude
committed
ci: install lld for publish verification; document tag-collision caveat

mvanhorn
and
claude
committed