Skip to content

Add CI check for generated verifier#58

Merged
ly0va merged 2 commits intoboojum-integrationfrom lyova-add-ci-verifier-checkOct 3, 2023