Drew Newberry 60035c6a61 refactor(server): extract kubernetes compute driver (#817)

2026-04-14 13:32:05 -07:00

..

.dockerignore

chore: cleanup docker/kube/helm infra

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

cluster-entrypoint.sh

feat(vm): add openshell-vm crate with libkrun microVM gateway (#611)

2026-04-08 22:00:01 -07:00

cluster-healthcheck.sh

feat(bootstrap): resume gateway from existing state and persist SSH handshake secret (#488)

2026-04-02 09:50:10 -07: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

feat(prover): add native Rust policy prover with Z3 solver (#741)

2026-04-09 15:26:11 -07:00

Dockerfile.cli-macos

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

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

Dockerfile.images

refactor(server): extract kubernetes compute driver (#817)

2026-04-14 13:32:05 -07:00

Dockerfile.python-wheels

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

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

Dockerfile.python-wheels-macos

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

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

Dockerfile.vm-macos

feat(vm): add openshell-vm crate with libkrun microVM gateway (#611)

2026-04-08 22:00:01 -07:00