review fixes: align reproduction script timeout, tighten comments

2026-06-20 09:35:11 +01:00
parent df669a4ded
commit 2cbbf3ab15
2 changed files with 13 additions and 10 deletions
@@ -252,7 +252,7 @@ async function main() {
        encoding: 'utf8',
        stdio: ['ignore', 'pipe', 'pipe'],
        windowsHide: true,
-        timeout: 10000,
+        timeout: 5000,
      });
      if (result.status === 0) {
        const found = (result.stdout || '').trim().split(/\s+/).pop() || '';