Drew Newberry 5bb970a7cc feat(devshell): add provider-backed VM dev sandbox

2026-05-27 00:19:04 -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

devshell-bootstrap.sh

feat(devshell): add provider-backed VM dev sandbox

2026-05-27 00:19:04 -07:00

Dockerfile.ci

feat(devshell): add provider-backed VM dev sandbox

2026-05-27 00:19:04 -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

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

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