Add Halmos support #6483
checks.yml
on: pull_request
lint
28s
tests
4m 14s
tests-upgradeable
5m 3s
tests-foundry
3m 34s
coverage
9m 44s
harnesses
19s
slither
2m 56s
codespell
8s