Skip to content

Add -Zmetrics-dir=PATH to save diagnostic metadata to disk#128702

Merged
bors merged 1 commit intorust-lang:masterfrom
yaahc:metrics-flag
Aug 8, 2024
Merged

Add -Zmetrics-dir=PATH to save diagnostic metadata to disk#128702
bors merged 1 commit intorust-lang:masterfrom
yaahc:metrics-flag

Commits

Commits on Aug 7, 2024