Skip to content
formal verification

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

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) #1037

Run time

Learn about OS pricing on GitHub Actions
Job Run time
formal
2m 57s
2m 57s