Simon Scatton e21b7fd8cf chore(build): remove bundled Z3 support (#3275) ...

* chore(build): remove bundled Z3 support

Signed-off-by: Simon Scatton <sscatton@nvidia.com>
Signed-off-by: Piotr Mlocek <pmlocek@nvidia.com>

* fix(build): preserve vendored Z3 for local gateway artifacts

Signed-off-by: Simon Scatton <sscatton@nvidia.com>

---------

Signed-off-by: Simon Scatton <sscatton@nvidia.com>
Signed-off-by: Piotr Mlocek <pmlocek@nvidia.com>

2026-10-01 12:08:33 +00: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

docker-compose.yml

fix(ci)!: remove gateway callback listener dependency (#3365)

2026-09-18 20:55:55 +00:00

Dockerfile.ci

chore(tools): upgrade mise to 2026.9.9 (#3385)

2026-09-16 09:04:50 -07:00

Dockerfile.gateway

fix(deps): refresh gateway Debian runtime image (#3350)

2026-09-15 19:38:13 +00:00

Dockerfile.sandbox

feat(isolation): implement the RFC 0012 sandbox architecture (#2942)

2026-09-16 00:49:14 +00:00

Dockerfile.supervisor

fix(container): use distroless Debian 13 for supervisor (#3393)

2026-09-17 05:29:47 +00:00

gateway.toml

refactor(runtime): retire Community image dependencies (#3386)

2026-09-22 14:43:51 +02:00