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
Merged

Add a metric recording the overall time spent building each crate#2186
Nemo157 merged 1 commit intorust-lang:masterfrom
Nemo157:build-timing

Commits

Commits on Aug 7, 2023