Test external projects #421

Job	Run time
test (daejunpark/morpho-data-structures, morpho-data-structures, --function testProve --loop 4, c...	48s
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256)	3m 52s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)	3m 41s
test (farcasterxyz/contracts, farcaster-contracts)	1m 51s
test (zobront/halmos-solady, halmos-solady, --function testCheck)	2m 34s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)	19m 23s
test (--cache-solver, daejunpark/morpho-data-structures, morpho-data-structures, --function testP...	42s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...	3m 53s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)	4m 0s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)	2m 1s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck)	19m 31s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)	17m 52s
	1h 20m 8s

Provide feedback