Test external projects

feat: added uv install method to readme (#378) #437

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (morpho-org/morpho-data-structures, morpho-data-structures, --function testProve --loop 4)	41s
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256)	3m 56s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)	4m 24s
test (farcasterxyz/contracts, farcaster-contracts)	1m 39s
test (zobront/halmos-solady, halmos-solady, --function testCheck)	2m 25s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20TestHalmos, halmos)	2m 0s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC721TestHalmos, hal...	17m 34s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC1155TestHalmos, ha...	17m 30s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathTestHalmos, halmos)	1m 50s
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...	1m 4s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...	4m 5s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)	3m 59s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)	1m 53s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck)	15m 17s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20...	1m 46s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC72...	17m 18s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC11...	16m 53s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathT...	1m 46s
	1h 56m 0s