fitzgen opened issue #9236:
I'm seeing it be the bottleneck for entering the merge queue these days, and it shouldn't be hard to split into multiple jobs that can run in parallel. Don't have time at the moment, so just noting this down for posterity.
fitzgen closed issue #9236:
I'm seeing it be the bottleneck for entering the merge queue these days, and it shouldn't be hard to split into multiple jobs that can run in parallel. Don't have time at the moment, so just noting this down for posterity.
Last updated: Jan 24 2025 at 00:11 UTC