Skip to content

Conversation

@T-Gro
Copy link
Member

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

No description provided.

@T-Gro T-Gro requested a review from a team as a code owner June 5, 2025 06:39
@T-Gro T-Gro self-assigned this Jun 5, 2025
@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 5, 2025
@T-Gro T-Gro requested a review from abonie June 5, 2025 06:39
@T-Gro T-Gro enabled auto-merge (squash) June 5, 2025 06:39
@github-actions
Copy link
Contributor

github-actions bot commented Jun 5, 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

@T-Gro T-Gro merged commit bac7602 into main Jun 5, 2025
40 checks passed
@T-Gro T-Gro deleted the fix-signed-build 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.

3 participants