Add Halmos support #6520
checks.yml
on: pull_request
lint
32s
tests
4m 14s
tests-upgradeable
4m 35s
tests-foundry
3m 23s
coverage
10m 1s
harnesses
23s
slither
2m 35s
codespell
9s