Skip to content

feat(web-ui): PROOF9-gated merge button on PR Status panel#583

Merged
frankbria merged 3 commits intomainfrom
feature/issue-571-proof9-gated-merge-button
Apr 14, 2026
Merged

feat(web-ui): PROOF9-gated merge button on PR Status panel#583
frankbria merged 3 commits intomainfrom
feature/issue-571-proof9-gated-merge-button

Commits

Commits on Apr 14, 2026