Skip to content
Z3 Trace Log Generator

Using latest version of install z3 action #33

Sign in to view logs

Using latest version of install z3 action

Using latest version of install z3 action #33

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generate_log
10s
10s