Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: workload name corrected as per the latest VS Installer #38500

Closed

Conversation

MrJithil
Copy link
Member

@MrJithil MrJithil commented May 1, 2021

The windows local machine setup guide suggests installing the prerequisites "Visual C++ build tools" workload from the visual studio build tool installer. But, there is not workload named "Visual C++ build tools" in the current installer. Instead, maybe the Microsoft team renamed that to just "C++ build tools" in the workload list.
Correcting the workload name as per the current installer list.

Reference:

WorkloadNameCorrectionRef

@github-actions github-actions bot added build Issues and PRs related to build files or the CI. doc Issues and PRs related to the documentations. labels May 1, 2021
@MrJithil
Copy link
Member Author

MrJithil commented May 1, 2021

@targos I don't have the authorization to merge this pull request. Could you please help me to run the work flow?

@edsadr edsadr self-requested a review May 1, 2021 21:07
@aduh95 aduh95 added the author ready PRs that have at least one approval, no pending requests for changes, and a CI started. label May 2, 2021
@MrJithil
Copy link
Member Author

MrJithil commented May 3, 2021

@jasnell Could you please help me to merge this PR? I don't have merge permission.

@jasnell
Copy link
Member

jasnell commented May 3, 2021

@MrJithil ... the PR will be merged shortly. For most PRS there is a minimum 48 hour waiting time for reviews. We do have a fast-track option but there's only about an hour left before the 48 hours on this PR is up so it's better to just wait.

@MrJithil
Copy link
Member Author

MrJithil commented May 4, 2021

@jasnell As we discussed yesterday, can we merge this pull request now?

@jasnell
Copy link
Member

jasnell commented May 4, 2021

Landed in 9df904b

@jasnell jasnell closed this May 4, 2021
jasnell pushed a commit that referenced this pull request May 4, 2021
PR-URL: #38500
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Adrian Estrada <edsadr@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
targos pushed a commit that referenced this pull request May 17, 2021
PR-URL: #38500
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Adrian Estrada <edsadr@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
author ready PRs that have at least one approval, no pending requests for changes, and a CI started. build Issues and PRs related to build files or the CI. doc Issues and PRs related to the documentations.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants