Add Halmos support #6509
checks.yml
on: pull_request
lint
31s
tests
4m 12s
tests-upgradeable
4m 38s
tests-foundry
3m 23s
coverage
9m 59s
harnesses
17s
slither
2m 42s
codespell
9s