Skip to content
formal verification

[ci] use libra-cli bin for faster CI runs #1008

Sign in to view logs

[ci] use libra-cli bin for faster CI runs

[ci] use libra-cli bin for faster CI runs #1008

Triggered via pull request August 16, 2024 15:08
@0o-de-lally0o-de-lally
synchronize #308
0o-de-lally:ci-bins
Status Cancelled
Total duration 1m 30s
Artifacts –

formal.yaml

on: pull_request
formal
1m 19s
formal
Fit to window
Zoom out
Zoom in

Annotations

1 error
formal
The run was canceled by @0o-de-lally.