Enhance environment manager settings updates to avoid unnecessary write to settings.json - #1120
Merged
Eleanor Boyd (eleanorjboyd) merged 2 commits intoJan 26, 2026
Merged
The logs for this run have expired and are no longer available.
Loading