Skip to content

Conversation

@dotnet-maestro
Copy link
Contributor

@dotnet-maestro dotnet-maestro bot commented Oct 15, 2025

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

@dotnet-maestro
Copy link
Contributor Author

Note

PRs from original repository included in this codeflow update:

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

@dotnet-maestro
Copy link
Contributor Author

Note

PRs from original repository included in this codeflow update:

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

@T-Gro T-Gro enabled auto-merge (squash) October 16, 2025 08:21
@dotnet-policy-service dotnet-policy-service bot requested a review from a team October 16, 2025 08:21
@T-Gro T-Gro disabled auto-merge October 16, 2025 12:16
@T-Gro T-Gro enabled auto-merge (squash) October 16, 2025 12:16
@dotnet-policy-service dotnet-policy-service bot requested a review from a team October 16, 2025 12:16
@T-Gro
Copy link
Member

T-Gro commented Oct 16, 2025

@ViktorHofer : Am I missing any action to have it merged?
It keeps asking me for new approvals.

This is the change to unblock the insertion into SDK's main

@ViktorHofer ViktorHofer disabled auto-merge October 16, 2025 14:43
@ViktorHofer
Copy link
Member

/azp run dotnet-unified-build

@dotnet-policy-service dotnet-policy-service bot requested a review from a team October 16, 2025 14:43
@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@ViktorHofer
Copy link
Member

Am I missing any action to have it merged?
It keeps asking me for new approvals.

@mmitche is that your notification workflow?

@ViktorHofer
Copy link
Member

Weird:

image

@mmitche
Copy link
Member

mmitche commented Oct 16, 2025

Am I missing any action to have it merged?
It keeps asking me for new approvals.

@mmitche is that your notification workflow?

Yep. Odd that it's asking for new approvals.

@dotnet-maestro dotnet-maestro bot merged commit 3532763 into main Oct 17, 2025
16 checks passed
@dotnet-maestro dotnet-maestro bot deleted the darc-main-4fcb44a0-b014-44fe-a5bf-0f8d40d28825 branch October 17, 2025 13:58
@dotnet-policy-service dotnet-policy-service bot requested a review from a team October 17, 2025 13:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

5 participants