Skip to content
Test external projects

ci: add python 3.13 to test.yml #486

Sign in to view logs

ci: add python 3.13 to test.yml

ci: add python 3.13 to test.yml #486

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 --...
1m 0s
test (morpho-org/morpho-blue, morpho-blue, --solver-command yices-smt2 --solver-threads 3, test)
3m 35s
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256 --solver-co...
4m 18s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256 --solver-comma...
4m 7s
test (farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2 --solver-threads 3)
1m 56s
test (zobront/halmos-solady, halmos-solady, --function testCheck --solver-command yices-smt2 --so...
2m 31s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20TestHalmos --sol...
2m 29s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC721TestHalmos --so...
2m 42s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC1155TestHalmos --s...
10m 23s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathTestHalmos --solv...
8m 55s
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...
56s
test (--cache-solver, morpho-org/morpho-blue, morpho-blue, --solver-command yices-smt2 --solver-t...
3m 35s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...
5m 0s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 25...
4m 9s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2 --...
2m 1s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck --solver-command...
19m 15s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC20...
2m 28s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC72...
3m 2s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract ERC11...
9m 56s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --contract MathT...
9m 11s
1h 41m 29s