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

..

deb

fix(packaging): keep SPDX comments out of Debian control (#3483)

2026-09-19 18:55:33 -07:00

docker

chore(build): remove bundled Z3 support (#3275)

2026-10-01 12:08:33 +00:00

helm

feat(helm): configure gateway OCSF JSONL output (#3876)

2026-09-29 19:23:43 +00:00

kube

feat(testing): support independent gateway and supervisor image overrides (#3341)

2026-09-23 23:35:30 +00:00

man

refactor(config): normalize and enforce gateway schema v2 (#2814)

2026-09-11 05:00:24 +00:00

rpm

refactor(auth): separate sandbox identity from TLS (#3110)

2026-10-01 04:33:25 +00:00

sbom

…