John T. Myers
903d9a0e7a
chore(license): align repository compliance text ( #3467 )
...
Signed-off-by: John Myers <9696606+johntmyers@users.noreply.github.com >
2026-09-18 17:05:18 +00:00
Jesse Jaggars
bdd1ce87ed
fix(cli): respect CARGO_TARGET_DIR in openshell wrapper script ( #2391 )
...
The scripts/bin/openshell wrapper hardcoded the binary path to
$PROJECT_ROOT/target/debug/openshell. When CARGO_TARGET_DIR is set
(e.g. via .bashrc or mise), cargo places the binary elsewhere and the
wrapper fails with 'No such file or directory'.
Use ${CARGO_TARGET_DIR:-$PROJECT_ROOT/target} so the wrapper finds
the binary regardless of where the build artifacts live.
Signed-off-by: Jesse Jaggars <jjaggars@jjaggars-kubevirt.rht.csb >
Signed-off-by: Jesse Jaggars <jjaggars@redhat.com >
2026-07-21 17:03:45 +00:00
Simon Scatton
008193a2e7
fix: remove mentions of bundled-z3 in CI and wheel builds ( #2322 )
2026-07-16 16:58:53 +00:00
Drew Newberry
f5b546e41b
Revert "perf(build): speed up local CLI rebuilds ( #1387 )" ( #1395 )
...
This reverts commit 668c712b63
2026-05-14 17:45:37 -07:00
John T. Myers
668c712b63
perf(build): speed up local CLI rebuilds ( #1387 )
2026-05-14 11:44:36 -07:00
Drew Newberry
70a0f6c547
refactor(cli): remove gateway lifecycle management ( #1221 )
2026-05-07 09:54:13 -07:00
Drew Newberry
2e0afeabe1
feat(vm): derive guest rootfs from sandbox images ( #957 )
2026-05-03 23:23:30 -07:00
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
Drew Newberry
fbd93a4632
refactor: rename navigator- crate prefix to openshell- ( #277 )
2026-03-13 02:02:18 -07:00
Drew Newberry
d6c6e97679
chore: remove navigator references from codebase ( #208 )
2026-03-10 14:46:11 -07:00
Drew Newberry
984d1a6e5c
chore: rename project from NemoClaw to OpenShell ( #198 )
2026-03-10 11:49:09 -07:00
John T. Myers