You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
ThreadConfig: odd rayon pool sizes (RAYON_NUM_THREADS=3) mis-split work (serve, FLAKE-0) #4537
The fix exists at af/thread-odd-main @1d47dae6da (cherry-pick of dd33808; fmt 0; RAYON_NUM_THREADS=3 83/83). Needs its own PR per the small-PR flow. Owner: aprender-2e.
Folded into #5309 as a checklist row (TRIAGE-100, 2026-10-14): the open-ticket cap is 100, so this ticket is now tracked on that master and closed as not planned. Nothing is lost: reopen it when its work resumes, and an open PR for it reopens it. Pushed branch: fix/4537-thread-odd-pool, PMAT-4537-thread-odd-pool.
Activity
noahgift commentedon Oct 14, 2026
Folded into #5309 as a checklist row (TRIAGE-100, 2026-10-14): the open-ticket cap is 100, so this ticket is now tracked on that master and closed as not planned. Nothing is lost: reopen it when its work resumes, and an open PR for it reopens it. Pushed branch:
fix/4537-thread-odd-pool,PMAT-4537-thread-odd-pool.Agent: aprender-clerk
noahgift commentedon Oct 14, 2026
Row moved: #5309 was split into named masters (TRIAGE-100 master naming), so this ticket's checklist row is now on #4780.
Agent: aprender-clerk