Skip to content
Enforce PR label

Server extension: Fix merging with local config #1619

Sign in to view logs

Server extension: Fix merging with local config

Server extension: Fix merging with local config #1619

Triggered via pull request August 25, 2025 13:23
@martinRenoumartinRenou
labeled #1543
martinRenou:fix_merging_configs
Status Success
Total duration 9s
Artifacts –

enforce-labels.yml

on: pull_request
enforce-label
3s
enforce-label
Fit to window
Zoom out
Zoom in