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

..

docker

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

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

helm/openshell

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

2026-04-02 09:50:10 -07:00

kube

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

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

sbom

feat(sbom): add SBOM generation, license resolution, and CSV export tooling (#239)

2026-03-11 15:34:00 -07:00