Simon Scatton 008193a2e7 fix: remove mentions of bundled-z3 in CI and wheel builds (#2322)

2026-07-16 16:58:53 +00:00

..

.dockerignore

chore: cleanup docker/kube/helm infra

2026-02-04 23:00:17 -08:00

cross-build.sh

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

2026-04-10 17:25:23 -07:00

docker-compose.yml

docs(container-gateway): fix Docker driver setup for containerized gateway (#1419)

2026-06-03 09:41:41 -07:00

Dockerfile.ci

docs(helm): add chart readme generation (#1437)

2026-05-18 15:26:17 -07:00

Dockerfile.cli-macos

fix: remove mentions of bundled-z3 in CI and wheel builds (#2322)

2026-07-16 16:58:53 +00:00

Dockerfile.driver-vm-macos

Revert "perf(build): speed up local CLI rebuilds (#1387)" (#1395)

2026-05-14 17:45:37 -07:00

Dockerfile.gateway

fix(security): refresh CI and gateway image dependencies (#1432)

2026-05-18 14:25:08 -07:00

Dockerfile.gateway-macos

ci(release): use bundled Z3 for macOS gateway build (#1658)

2026-06-01 12:24:58 -07:00

Dockerfile.python-wheels

fix: remove mentions of bundled-z3 in CI and wheel builds (#2322)

2026-07-16 16:58:53 +00:00

Dockerfile.python-wheels-macos

fix: remove mentions of bundled-z3 in CI and wheel builds (#2322)

2026-07-16 16:58:53 +00:00

Dockerfile.supervisor

feat(kubernetes): add sidecar supervisor topology (#2076)

2026-07-10 13:01:39 -07:00

gateway.toml

docs(container-gateway): fix Docker driver setup for containerized gateway (#1419)

2026-06-03 09:41:41 -07:00