Skip to content
Test external projects

feat: reject multiple setup paths (#351) #402

Sign in to view logs

feat: reject multiple setup paths (#351)

feat: reject multiple setup paths (#351) #402

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 --...
39s
test (morpho-org/morpho-data-structures, morpho-data-structures, --function testProve --loop 4 --...
39s
test (morpho-org/morpho-data-structures, morpho-data-structures, --function testProve --loop 4 --...
39s
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256)
3m 53s
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256)
3m 50s
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256)
3m 42s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)
4m 23s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)
4m 23s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)
4m 23s
test (farcasterxyz/contracts, farcaster-contracts)
1m 50s
test (farcasterxyz/contracts, farcaster-contracts)
1m 50s
test (farcasterxyz/contracts, farcaster-contracts)
1m 50s
test (zobront/halmos-solady, halmos-solady, --function testCheck)
2m 9s
test (zobront/halmos-solady, halmos-solady, --function testCheck)
2m 9s
test (zobront/halmos-solady, halmos-solady, --function testCheck)
2m 9s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)
17m 30s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)
17m 30s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)
17m 30s
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...
45s
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...
45s
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...
45s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...
3m 55s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...
3m 55s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...
3m 55s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)
3m 51s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)
3m 51s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256)
3m 51s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)
1m 45s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)
1m 45s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts)
1m 45s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck)
14m 23s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck)
14m 23s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck)
14m 23s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)
17m 18s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)
17m 18s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml, halmos)
17m 18s
3h 36m 49s