Good First Issue
Repository metrics
- Stars
- (5,062 stars)
- PR merge metrics
- (Avg merge 11d 7h) (125 merged PRs in 30d)
Description
Summary
dev drive has big impact on local build time for larger projects, due to file io speed improvement. Information whether customers used it during a build is useful for investigations.
Background and Motivation
e.g. recently we looked at a project that took 10mins of copy operations and when moved to a dev drive it took ~2
Proposed Feature
Probably can be implemented in the same way as https://github.com/dotnet/msbuild/issues/10151
Alternative Designs
No response