Repository navigation

fix(server): checkpoint workspaces with empty nested repositories - #12181

Merged

juliusmarminge merged 9 commits into

pingdotgg:mainfrom

saphid:agent/server-unborn-checkpoint

Sep 17, 2026

Merged

fix(server): checkpoint workspaces with empty nested repositories#12181
juliusmarminge merged 9 commits into
pingdotgg:mainfrom
saphid:agent/server-unborn-checkpoint

Commits on Sep 17, 2026
- fix(server): checkpoint workspaces with empty nested repositories
  
  github-actions[bot]
  authored and
  juliusmarminge
  committed
  7598adb
- fix(server): handle checkpoint recovery output limits
  
  github-actions[bot]
  authored and
  juliusmarminge
  committed
  caf352b
- fix(server): bound nested checkpoint recovery work
  juliusmarminge
  committed
  853b8df
- test(server): verify recovery cancellation remains interrupted
  juliusmarminge
  committed
  e4d69a0
- refactor(server): use tagged checkpoint recovery handler
  juliusmarminge
  committed
  6517381
- test(server): prove candidate cap and shared recovery budget
  juliusmarminge
  committed
  b8bbc07
- test(server): report excess recovery probes directly
  juliusmarminge
  committed
  ba5018c
- fix(server): clean private index locks after interrupted capture
  juliusmarminge
  committed
  7b0bb66
- fix(server): isolate nested checkpoint probes from Git overrides
  juliusmarminge
  committed
  2999887