Skip to content

fix: ResultErrorPool.Wait clips results after first error#160

Closed
Yanhu007 wants to merge 1 commit intosourcegraph:mainfrom
Yanhu007:fix/result-pool-collect-missing-tail
Closed

fix: ResultErrorPool.Wait clips results after first error#160
Yanhu007 wants to merge 1 commit intosourcegraph:mainfrom
Yanhu007:fix/result-pool-collect-missing-tail

Commits

Commits on Apr 13, 2026