Test external projects #409

Job	Run time
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256)	4m 8s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)	4m 8s
test (farcasterxyz/contracts, farcaster-contracts)	2m 11s
test (zobront/halmos-solady, halmos-solady, --function testCheck)	2m 29s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)	18m 50s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...	3m 54s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)	4m 14s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)	1m 48s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck)	16m 7s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)	17m 56s
	1h 15m 45s

Provide feedback