Skip to content

fix: collect results after last error in ResultErrorPool#162

Open
Yanhu007 wants to merge 1 commit intosourcegraph:mainfrom
Yanhu007:fix/result-error-pool-clipped
Open

fix: collect results after last error in ResultErrorPool#162
Yanhu007 wants to merge 1 commit intosourcegraph:mainfrom
Yanhu007:fix/result-error-pool-clipped

Commits

Commits on Apr 15, 2026