Skip to content

Conversation

@Martin521
Copy link
Contributor

Description

This PR simplifies the code for adjusting diagnostics severity, without change to the functionality.
It will be needed for "scoped nowarn", where the adjustment logic becomes even more complex, but makes sense also in itself.

@Martin521 Martin521 requested a review from a team as a code owner October 17, 2024 14:25
@github-actions
Copy link
Contributor

github-actions bot commented Oct 17, 2024

⚠️ 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

@Martin521
Copy link
Contributor Author

Can somebody add the "no release notes" label?
Thanks

@psfinaki psfinaki added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Oct 17, 2024
@psfinaki
Copy link
Contributor

There you go, Martin :) Thanks for splitting the refactoring into a separate PR, that's always helpful.

Copy link
Contributor

@KevinRansom KevinRansom left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you, nice bit of cleanup.
A couple of nits, but other than that this is ready to go.

@Martin521 Martin521 requested a review from KevinRansom October 23, 2024 19:56
Copy link
Contributor

@edgarfgp edgarfgp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks Martin 👍🏻

@vzarytovskii vzarytovskii merged commit 658b245 into dotnet:main Oct 31, 2024
6 of 31 checks passed
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.

5 participants