Add Halmos support #6493
checks.yml
on: pull_request
lint
27s
tests
4m 20s
tests-upgradeable
4m 47s
tests-foundry
3m 37s
coverage
10m 47s
harnesses
22s
slither
2m 43s
codespell
12s