errors: speedup for large error counts#12631

Merged

JelleZijlstra merged 5 commits intopython:masterfrom

huguesb:pr-errors-faster

Apr 29, 2022

Commits on Apr 20, 2022

errors: speedup for large error counts
hugues-aff
committed

Commits on Apr 21, 2022

address comments
hugues-aff
committed

Commits on Apr 26, 2022

errors: unify and optimize error filtering
hugues-aff
committed

Commits on Apr 29, 2022