Skip to content

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

Lead cap test: check the cap's rule instead of a fixed lead

ab3ca85
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar