Skip to content

Use output_base_dir for mir_dump_dir#140120

Merged
bors merged 1 commit intorust-lang:masterfrom
ChrisDenton:mir-opt-dump-rev
Apr 21, 2025
Merged

Use `output_base_dir` for `mir_dump_dir`#140120
bors merged 1 commit intorust-lang:masterfrom
ChrisDenton:mir-opt-dump-rev

Commits

Commits on Apr 21, 2025