Skip to content

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

Merged
bors merged 1 commit intorust-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 intorust-lang:masterfrom
ognevny:opt-dist-build-dir

Commits

Commits on Jul 20, 2025