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

Cherry pick #17176

Merged
merged 3 commits into from
May 20, 2024
Merged

Cherry pick #17176

merged 3 commits into from
May 20, 2024

Conversation

KevinRansom
Copy link
Member

@KevinRansom KevinRansom commented May 18, 2024

Fixes: #17161

Description

We didn't inline so good, now we do

Customer Impact

Code that compiled in previous SDKs that was correct no longer compiled when updating to 8.0.300. Users would have to make code changes to adjust to our incorrect analysis.

Regression?
Yes, ...

Risk
Low, we have manual and automated tests to cover this now.

@KevinRansom KevinRansom requested a review from a team as a code owner May 18, 2024 01:08
@KevinRansom KevinRansom added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label May 18, 2024
Copy link
Contributor

github-actions bot commented May 18, 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

@vzarytovskii
Copy link
Member

Do we need to bump package version, so nuget is uploaded as well?

@KevinRansom
Copy link
Member Author

KevinRansom commented May 18, 2024

Do we need to bump package version, so nuget is uploaded as well?

Yes

Done:
image

@psfinaki psfinaki merged commit 65afb5e into dotnet:release/dev17.10 May 20, 2024
32 checks passed
@vzarytovskii
Copy link
Member

We shouldn't have merged it before tactics approval for the backport

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 Servicing-consider
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

None yet

5 participants