test(dursto): prove and verify every provable Registry step#1100

victor-dumitrescu merged 4 commits into

maintezos/riscv-pvm:mainfrom

vdum/tzx-179tezos/riscv-pvm:vdum/tzx-179Copy head branch name to clipboard