-
Notifications
You must be signed in to change notification settings - Fork 842
fix diagnostic priorities (dev 15.7) #4369
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
Conversation
|
I presume this is failing because we need to update roslyn version numbers |
|
Yes, we need a roslyn version number update for the new code in 15.7 |
|
@dotnet-bot test this please |
|
@brettfo Do you know if the the Roslyn binaries have been updated? |
|
@jasonmalinowski Should know as well. |
|
There were API changes in dev15.6 via #4037, but those changes have been in dev15.7 for a few weeks (maybe months) now. |
|
@brettfo There should be API changes coming in 15.7, corresponding to dotnet/roslyn#24673. We don't seem to have those yet We really want to get this in for 15.7 if possible :) thanks |
|
I see, I was thinking of a different Roslyn change. To consume these APIs you'll need to:
-https://dotnet.myget.org/F/roslyn-for-vs-for-mac/api/v3/index.json
+https://dotnet.myget.org/F/roslyn/api/v3/index.json
|
|
@brettfo I tried 2.7.0-beta3-62707-11 but the Priority abstract member wasn't there It is present in 2.8.0-beta2-62713-01, but there is one other change there in the signature of Can we use thanks |
|
@dsyme I just checked today's build of the 15.7 preview (which version we can't exceed) and it's on |
|
@brettfo OK, changed to that version. I also fixed the PR so it is only pushing the diff, not stuff from master |
|
You should also update the last line of -https://dotnet.myget.org/F/roslyn-for-vs-for-mac/api/v3/index.json
+https://dotnet.myget.org/F/roslyn/api/v3/index.jsonThe |
|
@brettfo Done - this is ready. Will you merge back to master too? (when 15.7 is released) |
|
Yes. When Dev15.7 RTM ships this branch will come back into master. |
|
WEW that was scary, since the green button in the GitHub UI said "commit merge" |
* fix diagnostic priorities * apply versions * no capturesText in this branch * fix packages.config
No description provided.