Add Halmos support #6478
checks.yml
on: pull_request
lint
30s
tests
4m 3s
tests-upgradeable
tests-foundry
3m 24s
coverage
10m 37s
harnesses
16s
slither
3m 0s
codespell
18s
Annotations
1 error
tests
Process completed with exit code 1.
|