Skip to content
PR labels

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

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 #460

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

pr-labels.yml

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