John T. Myers dafb7996af fix(docker): add openshell-prover to Dockerfile skeleton stages and provide z3 (#800)

2026-04-10 17:25:23 -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

fix(vm): resolve PATH shadowing for pyelftools and Cargo in build-libkrun.sh (#806)

2026-04-10 15:48:25 -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