Merge master into feat/xdg-single-root-home

This commit is contained in:
Tianyi Cui
2026-07-21 22:14:45 +08:00
156 changed files with 3091 additions and 892 deletions

View File

@@ -500,7 +500,7 @@ export async function dynamicInstructionContext(
{
touchedPath,
includeBaselineScopes: baselineInstructionStates.has(agent.session),
...exec.signal === undefined ? {} : { signal: exec.signal },
signal: exec.signal,
},
)
}