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

Commits

Commits on Apr 21, 2025