Thanks to visit codestin.com
Credit goes to github.com

Skip to content

[main] Source code updates from dotnet/fsharp#5296

Merged
T-Gro merged 6 commits into
mainfrom
darc-main-4dc8cb70-fe70-4fb0-9d3d-0ed6ac01409f
Mar 10, 2026
Merged

[main] Source code updates from dotnet/fsharp#5296
T-Gro merged 6 commits into
mainfrom
darc-main-4dc8cb70-fe70-4fb0-9d3d-0ed6ac01409f

Conversation

@dotnet-maestro

@dotnet-maestro dotnet-maestro Bot commented Mar 7, 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/fsharp

Diff the source with this PR branch
darc vmr diff --name-only https://github.com/dotnet/fsharp:c80d142a24027fd2933e22649f53639907bf7553..https://github.com/dotnet/dotnet:darc-main-4dc8cb70-fe70-4fb0-9d3d-0ed6ac01409f

@dotnet-policy-service dotnet-policy-service Bot requested a review from a team March 7, 2026 02:11
@dotnet-maestro

dotnet-maestro Bot commented Mar 8, 2026

Copy link
Copy Markdown
Contributor Author

@dotnet-maestro

dotnet-maestro Bot commented Mar 9, 2026

Copy link
Copy Markdown
Contributor Author

Important

While this PR was open, the source repository has received code changes from this repository (an opposite codeflow merged).
To avoid complex conflicts, the codeflow cannot continue until this PR is closed or merged.

You can continue with one of the following options:

  • Ignore this and merge this PR as usual without waiting for the new changes.
    Once merged, Maestro will create a new codeflow PR with the new changes.
  • Close this PR and wait for Maestro to open a new one with old and new changes included.
    You will lose any manual changes made in this PR.
    You can also manually trigger the new codeflow right away by running:
    darc trigger-subscriptions --id 849f1809-6e35-479f-9764-9b3e44c0c1ab
    
  • Force a codeflow into this PR at your own risk if you want the new changes.
    User commits made to this PR might be reverted.
    darc trigger-subscriptions --id 849f1809-6e35-479f-9764-9b3e44c0c1ab --force
    

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

@T-Gro T-Gro enabled auto-merge (squash) March 10, 2026 12:59
@dotnet-policy-service dotnet-policy-service Bot requested a review from a team March 10, 2026 13:01
@T-Gro T-Gro merged commit 542fea6 into main Mar 10, 2026
15 of 16 checks passed
@T-Gro T-Gro deleted the darc-main-4dc8cb70-fe70-4fb0-9d3d-0ed6ac01409f branch March 10, 2026 17:46
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