bors 82cd953c7c 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`		2023-05-03 07:06:42 +00:00
..
ISSUE_TEMPLATE	Spelling misc	2023-04-17 02:55:27 -04:00
workflows	Auto merge of #110846 - jdno:reduce-builder-sizes, r=pietroalbini	2023-05-03 07:06:42 +00:00