Developer onboarding: make targets, optional Nix dev shell, and a Foundry on-chain verifier test - #632
Open
pjkundert wants to merge 3 commits into
Open
Developer onboarding: make targets, optional Nix dev shell, and a Foundry on-chain verifier test#632pjkundert wants to merge 3 commits into
pjkundert wants to merge 3 commits into