update build-time metric to be more detailed#3205
Merged
GuillaumeGomez merged 2 commits intorust-lang:mainfrom Feb 14, 2026
Merged
update build-time metric to be more detailed#3205GuillaumeGomez merged 2 commits intorust-lang:mainfrom
GuillaumeGomez merged 2 commits intorust-lang:mainfrom