Rustc pull#2201

Closed

Kobzol wants to merge 13 commits intorust-lang:masterfrom

Kobzol:rustc-pull

Commits on Jan 8, 2025

Add CI workflow for performing `rustc-pull`
Kobzol
committed
Check if there is anything to pull
Kobzol
committed
WIP
Kobzol
committed
Error if there is nothing to pull
Kobzol
committed
Preparing for merge from rustc
Kobzol
committed
WIP
Kobzol
committed
Clean up preparation commit if no pull was performed
Kobzol
committed
Update RDG
Kobzol
committed
WIP
Kobzol
committed
fixup! Clean up preparation commit if no pull was performed
Kobzol
committed
Merge 7a75be5f89a12a8227095a73bf5fa4d3407e39fb into 7d59cb33f618bffd41af426e57d01463bde8dd3e
Kobzol
authored
Preparing for merge from rustc
The rustc-dev-guide Cronjob Bot
committed
Merge from rustc
The rustc-dev-guide Cronjob Bot
committed