Skip to content
Test external projects

fix: simplify symbol parsing (#334) #382

Sign in to view logs

fix: simplify symbol parsing (#334)

fix: simplify symbol parsing (#334) #382

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 (morpho-org/morpho-data-structures, morpho-data-structures, --function testProve --loop 4 --...
41s
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256 --solver-co...
4m 7s
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256 --solver-co...
4m 7s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256 --solver-comma...
4m 18s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256 --solver-comma...
4m 18s
test (farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2)
2m 39s
test (farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2)
2m 39s
test (zobront/halmos-solady, halmos-solady, --function testCheck --solver-command yices-smt2)
44s
test (zobront/halmos-solady, halmos-solady, --function testCheck --solver-command yices-smt2)
44s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --solver-command yices-smt2, hal...
25m 55s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --solver-command yices-smt2, hal...
25m 55s
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...
1m 1s
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...
1m 1s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...
3m 53s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...
3m 53s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 25...
4m 10s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 25...
4m 10s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2)
2m 32s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2)
2m 32s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck --solver-command...
9m 15s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck --solver-command...
9m 15s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --solver-command...
24m 19s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --solver-command...
24m 19s
2h 47m 8s