rustc-dev-guide subtree update#142743

Merged

bors merged 29 commits intorust-lang:masterfrom

tshepang:rdg-push

Jun 20, 2025

Commits on Jun 2, 2025

use consistent title capitalization
tshepang
committed

Commits on Jun 13, 2025

Adjust some doc for Query System
xizheyin
committed

Commits on Jun 14, 2025

Commits on Jun 19, 2025

initial instructions for gpu offload
ZuseZ4
committed
Merge pull request #2447 from rust-lang/offload-docs
ZuseZ4
authored
Preparing for merge from rustc
The rustc-dev-guide Cronjob Bot
committed
Merge from rustc
The rustc-dev-guide Cronjob Bot
committed
Merge pull request #2477 from rust-lang/rustc-pull
tshepang
authored