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
merged into #5317 (master ticket for epic #4381; triage rule 7b, 2026-10-14). It is a checklist row there; reopen this issue when work on it starts or its PR opens.
Moved: this sub-ticket is now a row in #5345 (PRM review-replay: benchmark, trace tagging and rex pool admission). The earlier comment said it merged into #5317, but that master never listed it.
Activity
chore(rex): pre-set the 34 merge-conflicting paths to origin/main's b…
merge origin/main @ad8fafc794 into rex/001
merge(rex): re-apply rex/001 on top of main: reconcile with the #4655 …
fix(rex): keep the off-pin C11 #4026 receipt and its findings off mai…
noahgift commentedon Oct 14, 2026
merged into #5317 (master ticket for epic #4381; triage rule 7b, 2026-10-14). It is a checklist row there; reopen this issue when work on it starts or its PR opens.
noahgift commentedon Oct 14, 2026
Moved: this sub-ticket is now a row in #5345 (PRM review-replay: benchmark, trace tagging and rex pool admission). The earlier comment said it merged into #5317, but that master never listed it.