fix: fix CI again #818

Job	Run time
tests	1m 9s
build_cli_with_verify	1m 9s
build_cli_no_verifiers_512	2m 32s
full_recursion_fast	1m 43s
risc_v_tests_delegations	38s
build_cli_no_verifiers	3m 38s
circuits_generated	2m 32s
ISA tests for simulator	50s
cargo fmt	20s
build_verifier	3m 19s
basic_example	2m 38s
delegation_example	5m 14s
large_example	4m 36s
full_recursion	3m 34s
oh_bender_incremental_proofs	1m 32s
verification_example	7m 8s
	42m 32s

Provide feedback