Add Halmos support #6511
checks.yml
on: pull_request
lint
38s
tests
3m 29s
tests-upgradeable
3m 27s
tests-foundry
3m 23s
coverage
3m 30s
harnesses
15s
slither
2m 40s
codespell
7s
Annotations
8 errors
tests-foundry
Canceling since a higher priority waiting request for 'checks-refs/pull/5034/merge' exists
|
tests-foundry
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.
|
tests
Canceling since a higher priority waiting request for 'checks-refs/pull/5034/merge' exists
|
tests
The operation was canceled.
|
coverage
Canceling since a higher priority waiting request for 'checks-refs/pull/5034/merge' exists
|
coverage
The operation was canceled.
|