Skip to content

Update System versions #18616

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 16 commits into from
May 28, 2025
Merged

Update System versions #18616

merged 16 commits into from
May 28, 2025

Conversation

T-Gro
Copy link
Member

@T-Gro T-Gro commented May 27, 2025

Updating:

  • System versions
  • msbuild
  • Roslyn
  • VS packages

This initially started as system-only updates, but nuget warnings about package verison incompabilities eventually lead me to updating most of the above.

The VS packages do not exist in the feed under the same version, so I had to split a unified setting for some of the packages and introduce some deviations in the build number of a version.

Right now, all nuget warnings are resolved.

Copy link
Contributor

github-actions bot commented May 27, 2025

⚠️ 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

@T-Gro T-Gro marked this pull request as ready for review May 28, 2025 11:20
@T-Gro T-Gro requested a review from a team as a code owner May 28, 2025 11:20
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label May 28, 2025
@T-Gro T-Gro requested review from ToddGrun and abonie May 28, 2025 11:26
@T-Gro
Copy link
Member Author

T-Gro commented May 28, 2025

@majocha : Once merged, this PR should unblock the v9 DiagnosticSource APIs 👍

@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling May 28, 2025
@T-Gro T-Gro merged commit 13fbacd into main May 28, 2025
39 of 40 checks passed
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.

3 participants