Add Halmos support #6512
checks.yml
on: pull_request
lint
29s
tests
4m 33s
tests-upgradeable
4m 44s
tests-foundry
3m 23s
coverage
10m 0s
harnesses
18s
slither
3m 4s
codespell
10s