Skip to content

[main] Source code updates from dotnet/sdk - #8087

Merged
dkurepa merged 1 commit into
mainfrom
darc-main-92516779-decb-4df2-814d-ad0d365a19c6
Aug 3, 2026
Merged

[main] Source code updates from dotnet/sdk#8087
dkurepa merged 1 commit into
mainfrom
darc-main-92516779-decb-4df2-814d-ad0d365a19c6

Conversation

@dotnet-maestro

@dotnet-maestro dotnet-maestro Bot commented Aug 1, 2026

Copy link
Copy Markdown
Contributor

Note

This is a codeflow update. It may contain both source code changes from
the source repo
as well as dependency updates. Learn more here.

This pull request brings the following source code changes

From https://github.com/dotnet/sdk

Diff the source with this PR branch
darc vmr diff --name-only https://github.com/dotnet/sdk:14cea5928a450bf9131f63bbdef6fc946820970c..https://github.com/dotnet/dotnet:darc-main-92516779-decb-4df2-814d-ad0d365a19c6

@dotnet-maestro

dotnet-maestro Bot commented Aug 1, 2026

Copy link
Copy Markdown
Contributor Author

Note

PRs from original repository included in this codeflow update:

💡 You may consult the FAQ for more information or tag @dotnet/prodconsvcs for assistance.

@azure-pipelines

Copy link
Copy Markdown
Azure Pipelines:
Successfully started running 1 pipeline(s).
1 pipeline(s) were filtered out due to trigger conditions.
There may be pipelines that require an authorized user to comment /azp run to run.

@dotnet-policy-service
dotnet-policy-service Bot requested a review from a team August 1, 2026 02:11

@maestro-approver maestro-approver Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

This pull request contains only source updates from https://github.com/dotnet/sdk.

@dkurepa
dkurepa merged commit 59c7700 into main Aug 3, 2026
16 checks passed
@dkurepa
dkurepa deleted the darc-main-92516779-decb-4df2-814d-ad0d365a19c6 branch August 3, 2026 11:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant