Skip to content

Conversation

dotnet-maestro[bot]
Copy link
Contributor

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

Copy link
Contributor

github-actions bot commented Oct 8, 2025

✅ No release notes required

Copy link
Contributor Author

dotnet-maestro bot commented Oct 9, 2025

Important

The source repository has received code changes from an opposite flow. Any additional codeflows into this PR may potentially result in lost changes.
Please continue with one of the following options:

  1. Close or merge this PR and let the codeflow continue normally
  2. Close or merge this PR and receive the new codeflow immediately by triggering the subscription:
    darc trigger-subscriptions --id 33aad187-a5d7-4947-b09f-777f8ea29e81
  3. Force-flow new changes into this PR at your own risk (some PR commits might be reverted):
    darc trigger-subscriptions --force --id 33aad187-a5d7-4947-b09f-777f8ea29e81

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

@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Oct 9, 2025
@T-Gro T-Gro enabled auto-merge (squash) October 9, 2025 10:56
@T-Gro T-Gro merged commit 601a689 into main Oct 9, 2025
43 of 44 checks passed
@github-project-automation github-project-automation bot moved this from In Progress to Done in F# Compiler and Tooling Oct 9, 2025
@dotnet-maestro dotnet-maestro bot deleted the darc-main-dfdb3115-2c22-45a0-a0e8-b50d83c0724c branch October 9, 2025 11:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

1 participant