[release/11.0.1xx-preview7] Source code updates from dotnet/fsharp by dotnet-maestro[bot] · Pull Request #7914 · dotnet/dotnet · GitHub
Skip to content

[release/11.0.1xx-preview7] Source code updates from dotnet/fsharp - #7914

Merged
dkurepa merged 6 commits into
release/11.0.1xx-preview7from
darc-release/11.0.1xx-preview7-7e3e6382-e8e0-4f25-8fef-349e0a7e14de
Jul 24, 2026
Merged

dkurepa merged 6 commits into
release/11.0.1xx-preview7from
darc-release/11.0.1xx-preview7-7e3e6382-e8e0-4f25-8fef-349e0a7e14de

Conversation

@dotnet-maestro

@dotnet-maestro dotnet-maestro Bot commented Jul 22, 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:2f07589d742861372eecce48d06ab70e841f8408..https://github.com/dotnet/dotnet:darc-release/11.0.1xx-preview7-7e3e6382-e8e0-4f25-8fef-349e0a7e14de

@dotnet-maestro

Copy link
Copy Markdown
Contributor Author

@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 July 22, 2026 19:42
@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-maestro

Copy link
Copy Markdown
Contributor Author

@dkurepa
dkurepa merged commit bbf10d8 into release/11.0.1xx-preview7 Jul 24, 2026
16 checks passed
@dkurepa
dkurepa deleted the darc-release/11.0.1xx-preview7-7e3e6382-e8e0-4f25-8fef-349e0a7e14de branch July 24, 2026 08:40
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