chore: fix lint after rebase

2026-01-12 22:08:49 +00:00
parent 0a24bc0427
commit d3eeddfc2f
2 changed files with 5 additions and 3 deletions
--- a/src/agents/pi-tools.ts
+++ b/src/agents/pi-tools.ts
@@ -430,7 +430,7 @@ function wrapSandboxPathGuard(tool: AnyAgentTool, root: string): AnyAgentTool {
 }

 type RequiredParamGroup = {
-  keys: string[];
+  keys: readonly string[];
  allowEmpty?: boolean;
  label?: string;
 };