Add Halmos support #6491
checks.yml
on: pull_request
lint
27s
tests
4m 13s
tests-upgradeable
4m 39s
tests-foundry
3m 32s
coverage
4m 38s
harnesses
38s
slither
2m 52s
codespell
18s
Annotations
4 errors
coverage
Canceling since a higher priority waiting request for 'checks-refs/pull/5034/merge' exists
|
coverage
The operation was canceled.
|
tests-upgradeable
Canceling since a higher priority waiting request for 'checks-refs/pull/5034/merge' exists
|
tests-upgradeable
The operation was canceled.
|