fix(docker): include z3 runtime in gateway image#1641

Closed

johntmyers wants to merge 1 commit into

1097-agentic-policy-approval-loopfrom

fix/gateway-z3-runtime

Commits on May 29, 2026

fix(docker): include z3 runtime in gateway image
johntmyers
committed