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: Dec 23 2024 at 13:07 UTC