Skip to content
formal verification

[ci] build_env action should call main get_cli action #1022

Sign in to view logs

[ci] build_env action should call main get_cli action

[ci] build_env action should call main get_cli action #1022

Run time

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