fix: fix CI again (#189) #821

Job	Run time
circuits_generated	2m 35s
risc_v_tests_delegations	1m 31s
ISA tests for simulator	1m 8s
full_recursion_fast	2m 7s
cargo fmt	49s
build_cli_no_verifiers_512	2m 32s
tests	1m 51s
build_cli_no_verifiers	3m 48s
build_verifier	3m 21s
build_cli_with_verify	1m 43s
delegation_example	5m 5s
basic_example	2m 41s
large_example	4m 35s
verification_example	7m 8s
full_recursion	3m 31s
oh_bender_incremental_proofs	1m 32s
	45m 57s

Provide feedback