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
..
ci.yml	Auto merge of #110846 - jdno:reduce-builder-sizes, r=pietroalbini	2023-05-03 07:06:42 +00:00