Test external projects #411

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)	3m 49s
test (farcasterxyz/contracts, farcaster-contracts)	1m 48s
test (zobront/halmos-solady, halmos-solady, --function testCheck)	2m 27s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)	19m 7s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...	3m 51s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)	3m 51s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)	2m 2s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck)	17m 31s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)	19m 8s
	1h 17m 42s

Provide feedback