Skip to content
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

Fix quickinfo text #17682

Merged
merged 5 commits into from
Sep 11, 2024
Merged

Fix quickinfo text #17682

merged 5 commits into from
Sep 11, 2024

Conversation

KevinRansom
Copy link
Member

No description provided.

@KevinRansom KevinRansom requested a review from a team as a code owner September 10, 2024 02:19
Copy link
Contributor

github-actions bot commented Sep 10, 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

@KevinRansom KevinRansom reopened this Sep 10, 2024
@KevinRansom
Copy link
Member Author

KevinRansom commented Sep 10, 2024

Passed
Failed
Failed
Failed
Failed
Failed

@KevinRansom KevinRansom reopened this Sep 10, 2024
@KevinRansom KevinRansom reopened this Sep 10, 2024
@KevinRansom KevinRansom reopened this Sep 10, 2024
@KevinRansom KevinRansom reopened this Sep 10, 2024
@KevinRansom KevinRansom added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Sep 10, 2024
@KevinRansom KevinRansom self-assigned this Sep 10, 2024
@KevinRansom KevinRansom added this to the September-2024 milestone Sep 10, 2024
@majocha
Copy link
Contributor

majocha commented Sep 10, 2024

Probably it would be worth it to also test this case in FSharp.Compiler.Service.Tests.TooltipTests.

@KevinRansom
Copy link
Member Author

Probably it would be worth it to also test this case in FSharp.Compiler.Service.Tests.TooltipTests.

I just want the durned thing to work reliably again. :-)

@psfinaki
Copy link
Member

/azp run

Copy link

Azure Pipelines successfully started running 2 pipeline(s).

@KevinRansom KevinRansom force-pushed the quickinfomain branch 3 times, most recently from 16cd082 to efc01b2 Compare September 11, 2024 07:05
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