Rollup of 7 pull requests#97157

Closed

JohnTitor wants to merge 17 commits into

rust-lang:masterfrom

JohnTitor:rollup-8lebm1g

Commits on May 9, 2022

Switch CI bucket to intelligent tiering
Mark-Simulacrum
committed

Commits on May 15, 2022

Commits on May 17, 2022

Revert "Auto merge of #96441 - ChrisDenton:sync-pipes, r=m-ou-se"
Mark-Simulacrum
committed

Commits on May 18, 2022