Skip to content
Lint

[Editor] Allow to change a preference from the editor UI manager #1815

Sign in to view logs

[Editor] Allow to change a preference from the editor UI manager

[Editor] Allow to change a preference from the editor UI manager #1815

Triggered via pull request July 18, 2024 13:14
@calixtemancalixteman
opened #18454
calixteman:setpref_event
Status Success
Total duration 1m 36s
Artifacts –

lint.yml

on: pull_request
Matrix: Lint
Fit to window
Zoom out
Zoom in