Skip to content

Add a metric recording the overall time spent building each crate#2186

Merged
Nemo157 merged 1 commit intorust-lang:masterfrom
Nemo157:build-timing
Aug 9, 2023

Commits

Commits on Aug 7, 2023