Uh oh!
There was an error while loading. Please reload this page.
This repository was archived by the owner on Jun 5, 2025. It is now read-only.
This repository was archived by the owner on Jun 5, 2025. It is now read-only.
There was an error while loading. Please reload this page.
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 Eric Erhardt (@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