Skip to content
Branch Docs Preview

fix(cli): use local z3 in dev wrapper #29

Sign in to view logs

fix(cli): use local z3 in dev wrapper

fix(cli): use local z3 in dev wrapper #29

Run time

Learn about OS pricing on GitHub Actions
Job Run time
preview
21s
21s