Skip to content

Fix #4: verify pipeline dispatches legacy / type-named proofs - #5

Merged
moisesja merged 2 commits into
mainfrom
fix/issue-4-legacy-proof-verify-dispatch
Jun 14, 2026
Merged

Fix #4: verify pipeline dispatches legacy / type-named proofs#5
moisesja merged 2 commits into
mainfrom
fix/issue-4-legacy-proof-verify-dispatch