Skip to content

Fix the stale metrics directory warning - #159329

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
reidliu41:fix-metrics-dir-warning
Jul 16, 2026
Merged

Fix the stale metrics directory warning#159329
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
reidliu41:fix-metrics-dir-warning

Commits

Commits on Jul 15, 2026