Skip to content
Test external projects

Test external projects #445

Sign in to view logs

Test external projects

Test external projects #445

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)
49s
test (morpho-org/morpho-blue, morpho-blue, test)
3m 19s
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256)
3m 57s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)
4m 9s
test (farcasterxyz/contracts, farcaster-contracts)
2m 9s
test (zobront/halmos-solady, halmos-solady, --function testCheck)
2m 25s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20TestHalmos, halmos)
1m 44s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC721TestHalmos, hal...
17m 50s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC1155TestHalmos, ha...
17m 4s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathTestHalmos, halmos)
1m 55s
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...
51s
test (--cache-solver, morpho-org/morpho-blue, morpho-blue, test)
3m 23s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...
3m 47s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)
4m 2s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)
1m 49s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck)
19m 27s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20...
1m 53s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC72...
16m 31s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC11...
17m 10s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathT...
2m 11s
2h 6m 25s