Skip to content

opt-dist: change build_dir field to be an actual build dir#144159

Merged
bors merged 1 commit into
rust-lang:masterfrom
ognevny:opt-dist-build-dir
Jul 21, 2025
Merged

opt-dist: change build_dir field to be an actual build dir#144159
bors merged 1 commit into
rust-lang:masterfrom
ognevny:opt-dist-build-dir

opt-dist: change build_dir field to be an actual build dir

6fd83ea
Select commit
Loading
Failed to load commit list.
Sign in for the full log view