Initial refactoring for SMT & Contination support in trace_decoder
#596
ci.yml
on: pull_request
Test mpt_trie
39s
Test trace_decoder
41s
Test proof_gen
55s
Test evm_arithmetization
11m 37s
Formatting and Clippy
36s
Annotations
1 error
Formatting and Clippy
Process completed with exit code 101.
|