Skip to content

Re-enable unused bindings detection#18420

Merged
psfinaki merged 3 commits into
mainfrom
re-enable-unused-bindings-warning
Mar 27, 2025
Merged

Re-enable unused bindings detection#18420
psfinaki merged 3 commits into
mainfrom
re-enable-unused-bindings-warning

Conversation

@T-Gro
Copy link
Copy Markdown
Member

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

Re-enable unused binding.
Simplify how this is managed in project and directory files, centralize.

Localize exceptional cases and disable warning at lowest level possible (ideally just 1 file, worst case 1 full project - never full directory)

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Mar 27, 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 added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Mar 27, 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