Add Halmos support · OpenZeppelin/openzeppelin-contracts@9a0eb4c

Triggered via pull request May 13, 2024 19:29

ernestognw

synchronize #5034

Status Failure

Total duration 18s

Artifacts –

actionlint.yml

on: pull_request

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"