Add Halmos support #6495
checks.yml
on: pull_request
lint
31s
tests
4m 9s
tests-upgradeable
4m 42s
tests-foundry
3m 26s
coverage
9m 52s
harnesses
17s
slither
2m 45s
codespell
7s