Skip to content

[release/11.0.1xx-preview5] Source code updates from dotnet/fsharp#6747

Merged
mmitche merged 4 commits into
release/11.0.1xx-preview5from
darc-release/11.0.1xx-preview5-29fccf88-f902-4eca-8a5b-8c11de63eb08
May 22, 2026
Merged

[release/11.0.1xx-preview5] Source code updates from dotnet/fsharp#6747
mmitche merged 4 commits into
release/11.0.1xx-preview5from
darc-release/11.0.1xx-preview5-29fccf88-f902-4eca-8a5b-8c11de63eb08

Conversation

@dotnet-maestro
Copy link
Copy Markdown
Contributor

@dotnet-maestro dotnet-maestro Bot commented May 21, 2026

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:bdb847abccc2c0ac59daf5c8d14025249ac07ef7..https://github.com/dotnet/dotnet:darc-release/11.0.1xx-preview5-29fccf88-f902-4eca-8a5b-8c11de63eb08

@dotnet-maestro
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 May 21, 2026 17:41
@dotnet-maestro
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.

@mmitche mmitche enabled auto-merge (squash) May 22, 2026 14:43
@lewing
Copy link
Copy Markdown
Member

lewing commented May 22, 2026

/azp run dotnet-unified-build

@azure-pipelines
Copy link
Copy Markdown

Azure Pipelines successfully started running 1 pipeline(s).

@mmitche mmitche merged commit 190e873 into release/11.0.1xx-preview5 May 22, 2026
15 of 16 checks passed
@mmitche mmitche deleted the darc-release/11.0.1xx-preview5-29fccf88-f902-4eca-8a5b-8c11de63eb08 branch May 22, 2026 22:51
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.

2 participants