Add Halmos support #621

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request May 13, 2024 19:47

ernestognw

synchronize #5034

ernestognw:chore/use-halmos

Status Failure

Total duration 18s

Artifacts –

actionlint.yml

on: pull_request

Annotations

1 error

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

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