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

Main to prerelease 0710 #5909

Merged
merged 71 commits into from
Jul 10, 2023
Merged

Main to prerelease 0710 #5909

merged 71 commits into from
Jul 10, 2023

Conversation

arunchndr
Copy link
Member

No description provided.

dibarbet and others added 30 commits March 14, 2023 16:35
Update O# Roslyn and prepare for release
Switch to non-deprecated action for asset upload on release branch
Increase permissions of release piepline to allow it to upload to release
- Adds 2 new background analysis scope options: one for compiler diagnostics and one for analyzer diagnostics
- Both the options allow the same set of values as in VS: Open documents, Entire solution, Current document and None (disabled). Currently, `Current document` option is not yet supported in LSP as we do not have a way to know which is the current active document in LSP server.
- Builds on top of dotnet/roslyn#68799
- Needs couple more Roslyn side changes as a follow-up: dotnet/roslyn#68797 and dotnet/roslyn#68798
@arunchndr arunchndr requested review from a team as code owners July 10, 2023 22:25
@jasonmalinowski
Copy link
Member

@arkalyanms I'm surprised there's a merge commit at the end of this though -- do we have content in prerelease that you had to resolve a conflict with?

@arunchndr
Copy link
Member Author

@arkalyanms I'm surprised there's a merge commit at the end of this though -- do we have content in prerelease that you had to resolve a conflict with?

are you referring to the O# release fixes that had to be merged back? I didnt have to handle any conflicts.

@arunchndr arunchndr enabled auto-merge (squash) July 10, 2023 23:23
@jasonmalinowski
Copy link
Member

are you referring to the O# release fixes that had to be merged back? I didnt have to handle any conflicts.

I meant 59cde11; I wasn't sure if that was because you had to do it, or was just making the merge locally before creating the PR.

@arunchndr arunchndr merged commit 55ec0fb into prerelease Jul 10, 2023
@JoeRobich JoeRobich deleted the main_to_prerelease_0710 branch October 8, 2024 20:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.