Skip to content

Conversation

@Forgind
Copy link
Contributor

@Forgind Forgind commented May 6, 2022

Progress on #7496

Changes Made

Added some traces and an ETW trace for build time.

Testing

None

@Forgind Forgind changed the base branch from main to feature/msbuild-server May 6, 2022 01:07
@Forgind Forgind marked this pull request as ready for review May 10, 2022 16:38
Copy link
Member

@AR-May AR-May left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@Forgind Forgind added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label May 11, 2022
@AR-May AR-May removed the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label May 11, 2022
@Forgind Forgind added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label May 13, 2022
@MichalPavlik MichalPavlik merged commit f97f022 into dotnet:feature/msbuild-server May 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants