Skip to content

Conversation

T-Gro
Copy link
Member

@T-Gro T-Gro commented Jun 4, 2025

No description provided.

@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Jun 4, 2025
@T-Gro T-Gro requested a review from a team as a code owner June 4, 2025 09:16
Copy link
Contributor

github-actions bot commented Jun 4, 2025

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Jun 4, 2025
@T-Gro T-Gro enabled auto-merge (squash) June 4, 2025 09:45
@T-Gro T-Gro merged commit 4790b9e into main Jun 4, 2025
40 checks passed
@T-Gro T-Gro deleted the T-Gro-officialBuilds branch June 5, 2025 09:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants