Skip to content

Bump proof-pr dogfood to v0.2.9#109

Merged
saagpatel merged 1 commit into
mainfrom
chore/proof-pr-v0.2.9
Jun 20, 2026
Merged

Bump proof-pr dogfood to v0.2.9#109
saagpatel merged 1 commit into
mainfrom
chore/proof-pr-v0.2.9

Conversation

@saagpatel

Copy link
Copy Markdown
Owner

Summary

  • pin the proof-pr reusable workflow and installed CLI to v0.2.9
  • document that reusable workflow summaries now include a focused public git metadata fix block when that finding exists

Verification

  • git diff --check
  • remote proof-pr v0.2.9 release and receipt asset verified locally before this consumer bump

Notes

  • existing untracked local .coverage was left untouched and is not part of this PR

@saagpatel saagpatel merged commit d09b09b into main Jun 20, 2026
3 checks passed
@saagpatel saagpatel deleted the chore/proof-pr-v0.2.9 branch June 20, 2026 13:05
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