Skip to content

Conversation

T-Gro
Copy link
Member

@T-Gro T-Gro commented Mar 31, 2025

Use <TolerateUnusedBindings>true</TolerateUnusedBindings> as an override of the default, especially in test projects.
Keep erroring on unused bindings as the default option for all projects.

Avoid repetitive blocks like

 <NoWarn>$(NoWarn);1182</NoWarn> <OtherFlags>$(OtherFlags) --warnaserror-:1182</OtherFlags> 
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Mar 31, 2025
Copy link
Contributor

⚠️ 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 marked this pull request as ready for review April 11, 2025 10:57
@T-Gro T-Gro requested a review from a team as a code owner April 11, 2025 10:57
@T-Gro T-Gro enabled auto-merge (squash) April 11, 2025 10:57
Copy link
Contributor

@psfinaki psfinaki left a comment

Choose a reason for hiding this comment

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

Nice, thanks!

@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Apr 24, 2025
@T-Gro T-Gro merged commit f487d45 into main Apr 24, 2025
33 checks passed
@github-project-automation github-project-automation bot moved this from In Progress to Done in F# Compiler and Tooling Apr 24, 2025
T-Gro added a commit that referenced this pull request May 20, 2025
* Standardize project settings to opt-out from 'unused bindings' detection across the repo (#18431) * Fix PM --------- Co-authored-by: Tomas Grosup <Tomas.Grosup@gmail.com> Co-authored-by: Matt Thalman <mthalman@microsoft.com> Co-authored-by: Carlos Sánchez López <1175054+carlossanlop@users.noreply.github.com> Co-authored-by: dotnet-maestro[bot] <dotnet-maestro[bot]@users.noreply.github.com> Co-authored-by: Kevin Ransom (msft) <codecutter@hotmail.com> Co-authored-by: Tomas Grosup <tomasgrosup@microsoft.com> Co-authored-by: Martin <29605222+Martin521@users.noreply.github.com> Co-authored-by: Jakub Majocha <1760221+majocha@users.noreply.github.com>
@T-Gro T-Gro deleted the standardize-warningsNotAsErrors 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

4 participants