Rustc pull update#2522

Closed

workflows-rustc-dev-guide[bot] wants to merge 2 commits intomasterfrom

Commits on Jul 29, 2025

WIP: auth using GitHub app
Kobzol
committed
WIP
The rustc-josh-sync Cronjob Bot
committed