Skip to content

Conversation

@psfinaki
Copy link
Contributor

@psfinaki psfinaki commented Mar 4, 2025

This has been Fantomas'd.

Note I cannot remove this from .fantomasignore because the file breaks on the null constraint we have there in the code. I had to remove it and bring it back after the formatting.

Hope we'll resolve this soon.

@github-actions
Copy link
Contributor

github-actions bot commented Mar 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

@psfinaki psfinaki marked this pull request as ready for review March 4, 2025 16:37
@psfinaki psfinaki requested a review from a team as a code owner March 4, 2025 16:37
@psfinaki psfinaki added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Mar 4, 2025
@psfinaki psfinaki enabled auto-merge (squash) March 4, 2025 17:33
@psfinaki psfinaki merged commit 55067b1 into dotnet:main Mar 10, 2025
33 of 34 checks passed
@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Mar 10, 2025
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