Skip to content
Test long

docs: update halmos command in readme (#152) #34

Sign in to view logs

docs: update halmos command in readme (#152)

docs: update halmos command in readme (#152) #34

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (examples/tokens/ERC20)
16m 32s
test (examples/tokens/ERC721)
11m 52s
28m 24s