Add Halmos support #6492
checks.yml
on: pull_request
lint
27s
tests
4m 18s
tests-upgradeable
4m 26s
tests-foundry
3m 26s
coverage
4m 28s
harnesses
21s
slither
3m 6s
codespell
17s
Annotations
6 errors
tests
Canceling since a higher priority waiting request for 'checks-refs/pull/5034/merge' exists
|
tests
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.
|
coverage
Canceling since a higher priority waiting request for 'checks-refs/pull/5034/merge' exists
|
coverage
The operation was canceled.
|