Piotr Mlocek 5045b9c9b1 ci(release): use bundled Z3 for macOS gateway build (#1658)

2026-06-01 12:24:58 -07: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

Dockerfile.ci

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

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

Dockerfile.cli-macos

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

2026-05-14 17:45:37 -07: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

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

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

Dockerfile.python-wheels-macos

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

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

Dockerfile.supervisor

refactor(docker): split gateway/supervisor Dockerfiles and use native rust builds (#1316)

2026-05-12 16:05:49 -07:00