Skip to content
Branch E2E Checks

fix(docker): add openshell-prover to Dockerfile skeleton stages and provide z3 #736

Sign in to view logs

fix(docker): add openshell-prover to Dockerfile skeleton stages and provide z3

fix(docker): add openshell-prover to Dockerfile skeleton stages and provide z3 #736

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-cluster
0s
build-gateway
0s
e2e
0s
0s