 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 |
|