Skip to content
lint workflows

Add Halmos support #619

Sign in to view logs

Add Halmos support

Add Halmos support #619

Triggered via pull request May 13, 2024 19:32
@ernestognwernestognw
synchronize #5034
ernestognw:chore/use-halmos
Status Failure
Total duration 13s
Artifacts –

actionlint.yml

on: pull_request
lint
5s
lint
Fit to window
Zoom out
Zoom in

Annotations

5 errors
lint: .github/workflows/checks.yml#L25
description is required in metadata of "Setup" action at "/github/workspace/.github/actions/setup/action.yml"
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"
lint: .github/workflows/upgradeable.yml#L28
description is required in metadata of "Setup" action at "/github/workspace/.github/actions/setup/action.yml"