Skip to content
PR labels

Enhance environment manager settings updates to avoid unnecessary write to settings.json #462

Sign in to view logs

Enhance environment manager settings updates to avoid unnecessary write to settings.json

Enhance environment manager settings updates to avoid unnecessary write to settings.json #462

Triggered via pull request January 26, 2026 00:43
@eleanorjboydeleanorjboyd
synchronize #1120
eleanorjboyd:icy-ferret
Status Success
Total duration 8s
Artifacts –

pr-labels.yml

on: pull_request
Ensure Required Labels
4s
Ensure Required Labels
Fit to window
Zoom out
Zoom in