Add Halmos support #6489
checks.yml
on: pull_request
lint
26s
tests
4m 25s
tests-upgradeable
5m 6s
tests-foundry
3m 31s
coverage
10m 16s
harnesses
18s
slither
2m 55s
codespell
8s