fix: fix CI #810

Job	Run time
build_cli_with_verify	1m 36s
risc_v_tests_delegations	1m 15s
tests	2m 11s
build_cli_no_verifiers	3m 38s
full_recursion_fast	2m 11s
build_cli_no_verifiers_512	2m 32s
ISA tests for simulator	1m 15s
circuits_generated	2m 54s
cargo fmt	28s
build_verifier	3m 28s
delegation_example	3m 34s
large_example	3m 27s
basic_example	1m 51s
full_recursion	3m 40s
verification_example	4m 45s
oh_bender_incremental_proofs	1m 31s
	40m 16s

Provide feedback