fix(docker): add openshell-prover to Dockerfile skeleton stages and provide z3 #2318
Triggered via issue
April 10, 2026 14:29
copy-pr-bot[bot]
Status
Success
Total duration
7s
Artifacts
–