Add Halmos support #6477
checks.yml
on: pull_request
lint
30s
tests
4m 28s
tests-upgradeable
4m 37s
tests-foundry
3m 28s
coverage
10m 38s
harnesses
17s
slither
2m 56s
codespell
12s
Annotations
1 error
tests
Process completed with exit code 1.
|