Skip to content
formal verification

[ci] use libra-cli bin for faster CI runs (#308) #1040

Sign in to view logs

[ci] use libra-cli bin for faster CI runs (#308)

[ci] use libra-cli bin for faster CI runs (#308) #1040

Triggered via push August 17, 2024 19:18
@0o-de-lally0o-de-lally
pushed 14318e5
release-7.0.3
Status Failure
Total duration 16s
Artifacts –

formal.yaml

on: push
formal
6s
formal
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
formal
Unable to resolve action `0lnetworkcommunity/libra-framework@ci`, unable to find version `ci`
formal
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/