Add Halmos support #6490
checks.yml
on: pull_request
lint
24s
tests
4m 22s
tests-upgradeable
4m 44s
tests-foundry
3m 23s
coverage
10m 30s
harnesses
17s
slither
2m 57s
codespell
12s