Auto merge of #110846 - jdno:reduce-builder-sizes, r=pietroalbini

Optimize builder sizes

The infra-team is continuously monitoring the efficiency of the CI system in an effort to improve overall build times and resource usage. Some builders have used much less than their allocated resources, so we are testing smaller builder sizes for them.

r? `@pietroalbini`
This commit is contained in:
bors 2023-05-03 07:06:42 +00:00
commit b680d71129

Diff content is not available