Fix MSBuild Server client dropping build result under WaitAny race (#14172) - #14251

Merged

JanProvaznik merged 2 commits into

dotnet:mainfrom

JanProvaznik:janprovaznik/fix-server-client-result-race-14172

Jul 9, 2026

Commits on Jul 2, 2026

Fix MSBuild Server client dropping build result under WaitAny race (#14172)

JanProvaznik
and
Copilot
committed
e4edd80
Strengthen #14172 regression test to assert the dropped summary is forwarded

JanProvaznik
and
Copilot
committed
b8dce54