John T. Myers 3dd6d51c26 fix(cli): use local z3 in dev wrapper (#805) ...

* fix(cli): use local z3 in dev wrapper

Signed-off-by: John Myers <9696606+johntmyers@users.noreply.github.com>

* fix(docker): add openshell-prover to Dockerfile skeleton stages

---------

Signed-off-by: John Myers <9696606+johntmyers@users.noreply.github.com>

2026-04-10 13:36:19 -07:00

..

bin

fix(cli): use local z3 in dev wrapper (#805)

2026-04-10 13:36:19 -07:00

build-benchmark

refactor(build): unify image build graph for cache reuse (#390)

2026-03-18 15:01:04 -07:00

docker-cleanup.sh

feat(policy): add policy recommendation plumbing (#204) (#222)

2026-03-12 08:28:26 -07:00

generate_third_party_notices.py

refactor: rename navigator- crate prefix to openshell- (#277)

2026-03-13 02:02:18 -07:00

remote-deploy.sh

refactor(build): unify image build graph for cache reuse (#390)

2026-03-18 15:01:04 -07:00

smoke-test-network-policy.sh

feat(sandbox): integrate OCSF structured logging for sandbox events (#720)

2026-04-07 13:01:13 -07:00

test-release-tag.sh

feat(ci): add automated release workflow with patch version bumping (#284)

2026-03-13 17:44:22 -07:00

update_license_headers.py

refactor: rename navigator- crate prefix to openshell- (#277)

2026-03-13 02:02:18 -07:00