Continuous Integration

Initial refactoring for SMT & Contination support in `trace_decoder` #596

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test trace_decoder	41s
Test proof_gen	55s
Formatting and Clippy	36s
Test evm_arithmetization	11m 37s
Test mpt_trie	39s
	14m 28s