Skip to content

ci: have the generator declare which paths it owns, and check it wrote them - #392

Merged
thedavidmeister merged 7 commits into
mainfrom
codegen-witness
Oct 21, 2026
Merged

thedavidmeister merged 7 commits into
mainfrom
codegen-witness