Merge pull request #140 from HerodotusDev/cairo1-dev #147

Job	Run time
verify-example-proofs (cairo0, dex)	4m 28s
verify-example-proofs (cairo0, recursive)	4m 15s
verify-example-proofs (cairo0, recursive_with_poseidon)	4m 17s
verify-example-proofs (cairo0, small)	4m 28s
verify-example-proofs (cairo0, starknet)	4m 34s
verify-example-proofs (cairo0, starknet_with_keccak)	5m 37s
verify-example-proofs (cairo1, dex)	4m 24s
verify-example-proofs (cairo1, recursive)	4m 18s
verify-example-proofs (cairo1, recursive_with_poseidon)	4m 13s
verify-example-proofs (cairo1, small)	4m 15s
verify-example-proofs (cairo1, starknet)	4m 28s
verify-example-proofs (cairo1, starknet_with_keccak)	5m 31s
	54m 48s

Provide feedback