Skip to content

Handle the progress reporting of installations through progress bars - #4552

Merged
djc merged 2 commits into
rust-lang:mainfrom
FranciscoTGouveia:progress-bar-installs
Oct 21, 2025
Merged

djc merged 2 commits into
rust-lang:mainfrom
FranciscoTGouveia:progress-bar-installs