Skip to content

Turn off dumping mermaid graphs in FSharpWorkspace #18717

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 27, 2025

Conversation

abonie
Copy link
Member

@abonie abonie commented Jun 26, 2025

This was added to debug FSharpWorkspace tests on the LSP branch, should only run in debug mode if at all and we don't need it at the moment.

This was added to debug FSharpWorkspace tests on the LSP branch, should
only run in debug mode if at all and we don't need it at the moment
@abonie abonie added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Jun 26, 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

@abonie abonie marked this pull request as ready for review June 26, 2025 09:58
@abonie abonie requested a review from a team as a code owner June 26, 2025 09:58
@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Jun 27, 2025
@T-Gro T-Gro merged commit e30b2da into dotnet:main Jun 27, 2025
40 checks passed
@github-project-automation github-project-automation bot moved this from In Progress to Done in F# Compiler and Tooling Jun 27, 2025
T-Gro added a commit that referenced this pull request Jun 30, 2025
This was added to debug FSharpWorkspace tests on the LSP branch, should
only run in debug mode if at all and we don't need it at the moment

Co-authored-by: Adam Boniecki <20281641+abonie@users.noreply.github.com>
Co-authored-by: Adam Boniecki <abonie@users.noreply.github.com>
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.

2 participants