Repository navigation

Partial revert of #5806: drop check_harness_server_cleanup.sh + 817 (keep launcher fixes) - #5863

Closed

noahgift wants to merge 2 commits into

mainfrom

revert/5806-crux-harness-guard

Closed

Partial revert of #5806: drop check_harness_server_cleanup.sh + 817 (keep launcher fixes)#5863
noahgift wants to merge 2 commits into
mainfrom
revert/5806-crux-harness-guard

Commits on Oct 21, 2026
- Revert "fix(harness): crux launchers kill their fixture servers on TERM/INT/KILL (#5806)"
  
  noahgift
  and
  claude
  committed
  16a23b7
- Keep the 3 launcher zombie fixes: partial revert of #5806
  
  noahgift
  and
  claude
  committed
  1a2a168