Skip to content

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

Closed
dotnet-maestro[bot] wants to merge 2 commits into
mainfrom
darc-main-c3051adc-3748-49d1-a1e4-dd6900fd8f1f
Closed

[main] Source code updates from dotnet/fsharp#5378
dotnet-maestro[bot] wants to merge 2 commits into
mainfrom
darc-main-c3051adc-3748-49d1-a1e4-dd6900fd8f1f

Conversation

@dotnet-maestro

@dotnet-maestro dotnet-maestro Bot commented Mar 11, 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:55eaffa3246a5c5728c13f12154f1e6e6fd58069..https://github.com/dotnet/dotnet:darc-main-c3051adc-3748-49d1-a1e4-dd6900fd8f1f

@dotnet-maestro

dotnet-maestro Bot commented Mar 11, 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.

@dotnet-policy-service dotnet-policy-service Bot requested a review from a team March 11, 2026 02:07
@steveisok steveisok mentioned this pull request Mar 11, 2026
Open
@T-Gro T-Gro enabled auto-merge (squash) March 13, 2026 14:25
@dotnet-policy-service dotnet-policy-service Bot requested a review from a team March 13, 2026 14:25
@dotnet-maestro

dotnet-maestro Bot commented Mar 14, 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 closed this Mar 17, 2026
auto-merge was automatically disabled March 17, 2026 11:54

Pull request was closed

@dotnet-maestro dotnet-maestro Bot deleted the darc-main-c3051adc-3748-49d1-a1e4-dd6900fd8f1f branch March 17, 2026 12:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@T-Gro T-Gro T-Gro approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@T-Gro