Add Halmos support #6476
ernestognwchecks.yml
on: pull_request
lint
31s
tests
2m 44s
tests-upgradeable
2m 45s
tests-foundry
2m 45s
coverage
2m 48s
harnesses
16s
slither
2m 43s
codespell
8s
Annotations
10 errors
|
slither
Canceling since a higher priority waiting request for 'checks-refs/pull/5034/merge' exists
|
|
slither
The operation was canceled.
|
|
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.
|
|
tests-foundry
Canceling since a higher priority waiting request for 'checks-refs/pull/5034/merge' exists
|
|
tests-foundry
The operation was canceled.
|
|
coverage
Canceling since a higher priority waiting request for 'checks-refs/pull/5034/merge' exists
|
|
coverage
The operation was canceled.
|