Repository navigation

repl_env: add managed child queries with bounded cleanup - #1527

Open

jucamohedano wants to merge 6 commits into

openenv:mainfrom

jucamohedano:managed-repl-child-lifecycle

Open

repl_env: add managed child queries with bounded cleanup#1527
jucamohedano wants to merge 6 commits into
openenv:mainfrom
jucamohedano:managed-repl-child-lifecycle

Commits on Oct 28, 2026
- feat(repl): supervise managed child queries
  jucamohedano
  committed
  f7ac171
- Merge main into managed-repl-child-lifecycle
  jucamohedano
  committed
  6285bcf
- test(repl): reduce duplicate worker startup overhead
  jucamohedano
  committed
  0801d85
- Merge latest upstream main into managed-repl-child-lifecycle
  jucamohedano
  committed
  e2b89d8
- fix(repl): preserve final answers when child cleanup fails
  jucamohedano
  committed
  afe8949
- Merge upstream environment-services RFC into managed child branch
  jucamohedano
  committed
  cb5812f