Skip to content

feat(proof): public per-repo proof summary, endpoint and README badge (#9569) - #9608

Merged
JSONbored merged 8 commits into
mainfrom
feat/proof-page-9569
Jul 29, 2026
Merged

feat(proof): public per-repo proof summary, endpoint and README badge (#9569)#9608
JSONbored merged 8 commits into
mainfrom
feat/proof-page-9569

Merge branch 'main' into feat/proof-page-9569

3f15c03
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar