Add Halmos support · OpenZeppelin/openzeppelin-contracts@7c6b5ce

Triggered via pull request May 13, 2024 19:21

ernestognw

synchronize #5034

Status Failure

Total duration 13s

Artifacts –

actionlint.yml

on: pull_request

4 errors

lint: .github/workflows/checks.yml#L26

description is required in metadata of "Setup" action at "/github/workspace/.github/actions/setup/action.yml"

lint: .github/workflows/checks.yml#L48

description is required in metadata of "Compare gas costs" action at "/github/workspace/.github/actions/gas-compare/action.yml"

lint: .github/workflows/checks.yml#L73

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"