Skip to content

Investigate.symbols #17281

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Jun 6, 2024
Merged

Investigate.symbols #17281

merged 1 commit into from
Jun 6, 2024

Conversation

KevinRansom
Copy link
Contributor

Fixes: #17279

Go back to an older vssdk temporarily. To ensure that we don't add unnecessary files to our vsix'.

@KevinRansom KevinRansom requested review from a team as code owners June 6, 2024 02:44
@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Jun 6, 2024 •
edited
Loading

⚠️ 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 changed the base branch from main to release/dev17.11 June 6, 2024 02:44
@KevinRansom KevinRansom added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Jun 6, 2024
@KevinRansom KevinRansom added this to the July-2024 milestone Jun 6, 2024
@KevinRansom KevinRansom enabled auto-merge (squash) June 6, 2024 04:58
@KevinRansom KevinRansom disabled auto-merge June 6, 2024 05:28
@KevinRansom KevinRansom merged commit c7b0e6b into dotnet:release/dev17.11 Jun 6, 2024
@KevinRansom KevinRansom deleted the investigate.symbols branch June 6, 2024 16:40
This was referenced Jun 7, 2024
Closed
Closed
Closed
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes
Projects
F# Compiler and Tooling
Archived in project
Milestone
July-2024
Development

Successfully merging this pull request may close these issues.

Fix symbol generation for insertions
1 participant
@KevinRansom