Add Halmos support #620
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/formal-verification.yml#L35
description is required in metadata of "Setup" action at "/github/workspace/.github/actions/setup/action.yml"
|