Skip to content

ui: fix extension path with name having special characters #13817

ui: fix extension path with name having special characters

ui: fix extension path with name having special characters #13817

Triggered via pull request August 20, 2025 11:03
Status Success
Total duration 8m 22s
Artifacts

ui.yml

on: pull_request
Fit to window
Zoom out
Zoom in