Add Halmos support #618
ernestognwAnnotations
3 errors
|
lint:
.github/workflows/checks.yml#L47
description is required in metadata of "Compare gas costs" action at "/github/workspace/.github/actions/gas-compare/action.yml"
|
|
lint:
.github/workflows/checks.yml#L72
description is required in metadata of "Compare storage layouts" action at "/github/workspace/.github/actions/storage-layout/action.yml"
|
|
lint:
.github/workflows/upgradeable.yml#L28
description is required in metadata of "Setup" action at "/github/workspace/.github/actions/setup/action.yml"
|