Skip to content

[main] Source code updates from dotnet/dotnet #19000

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.

Sign up for GitHub

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

Jump to bottom
Closed
wants to merge 3 commits into from
Closed

[main] Source code updates from dotnet/dotnet #19000

wants to merge 3 commits into from
+14 −14

Conversation

@dotnet-maestro
Copy link
Contributor

Note

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

This pull request brings the following source code changes

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

Updated Dependencies

Associated changes in source repos

@dotnet-maestro
Backflow from https://github.com/dotnet/dotnet / 2d4079a build 287091
d2aa49f 
[[ commit created by automation ]]
@dotnet-maestro
Merge main into darc-main-ddd39f5f-3898-498e-bccb-92dad2258d5e
f66e887 
Auto-resolved conflicts:
- eng/Versions.props
- src/Compiler/Utilities/illib.fs
@dotnet-maestro
Update dependencies from https://github.com/dotnet/dotnet build 287091
bbdf271 
Updated Dependencies:
Microsoft.Build, Microsoft.Build.Framework, Microsoft.Build.Tasks.Core, Microsoft.Build.Utilities.Core (Version 18.1.0-preview-25511-01 -> 18.1.0-preview-25509-03)
@dotnet-maestro
Copy link
Contributor Author

Important

There are conflicts with the main branch in this PR. Apart from conflicts in the source files, this means there are unresolved conflicts in the codeflow metadata file eng/Version.Details.xml.
When resolving these, please use the (incoming/ours) version from the PR branch. The correct content should be this:

<Source Uri="https://github.com/dotnet/dotnet" Mapping="fsharp" Sha="2d4079aa0b0ae84217540e6df5dcc15e8a64c07d" BarId="287091" />

In case of unclarities, consult the FAQ or tag @dotnet/product-construction for assistance.

@dotnet-maestro dotnet-maestro bot requested a review from a team as a code owner October 15, 2025 02:09
@github-actions
Copy link
Contributor

✅ No release notes required

@dotnet-maestro
Copy link
Contributor Author

Important

The source repository has received code changes from an opposite flow. Any additional codeflows into this PR may potentially result in lost changes.
Please continue with one of the following options:

  1. Close or merge this PR and let the codeflow continue normally
  2. Close or merge this PR and receive the new codeflow immediately by triggering the subscription:
    darc trigger-subscriptions --id 33aad187-a5d7-4947-b09f-777f8ea29e81
  3. Force-flow new changes into this PR at your own risk (some PR commits might be reverted):
    darc trigger-subscriptions --force --id 33aad187-a5d7-4947-b09f-777f8ea29e81

In case of unclarities, consult the FAQ or tag @dotnet/product-construction for assistance.

@T-Gro T-Gro closed this Oct 20, 2025
@T-Gro T-Gro deleted the darc-main-ddd39f5f-3898-498e-bccb-92dad2258d5e branch October 20, 2025 09:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

F# Compiler and Tooling
Archived in project

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@T-Gro