risc0-ethereum
risc0-ethereum copied to clipboard
Check that the control ID root is up to date as part of CI