You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Jun 5, 2025. It is now read-only.
This was identified with @eerhardt following dev home issues with JSON serialization behavior differing in debug and release configurations as documented here.
Expected result
Behavior should not drastically differ between debug and release builds.
Actual result
Json serialization can behave drastically different between release and debug builds as described here.
Dev Home version
No response
Windows build number
No response
Other software
No response
Steps to reproduce the bug
(https://github.com/microsoft/devhomegithubextension/tree/main/src/GitHubExtensionServer/Properties/PublishProfiles) need to be eddied to remove PublishTrimmed and instead be set unconditionally in a csproj file.
This was identified with @eerhardt following dev home issues with JSON serialization behavior differing in debug and release configurations as documented here.
Expected result
Behavior should not drastically differ between debug and release builds.
Actual result
Json serialization can behave drastically different between release and debug builds as described here.
Included System Information
No response