Repository navigation

Lead cap: also wait for rounds trained before the next PULL arrives - #333

Merged

michaellchung merged 2 commits into

mainfrom

fix-lead-cap-flaky

Nov 3, 2026

Merged

Lead cap: also wait for rounds trained before the next PULL arrives#333
michaellchung merged 2 commits into
mainfrom
fix-lead-cap-flaky

Commits on Nov 3, 2026
- Lead cap: also wait for rounds trained before the next PULL arrives
  
  authored and
  MichaelChung
  committed
  f8fa17f
- Lead cap test: check the cap's rule instead of a fixed lead
  
  authored and
  MichaelChung
  committed
  ab3ca85