Skip to content

ui: fix extension path with name having special characters (#11489) #1076

ui: fix extension path with name having special characters (#11489)

ui: fix extension path with name having special characters (#11489) #1076

Triggered via push September 2, 2025 12:49
Status Success
Total duration 31m 0s
Artifacts
Fit to window
Zoom out
Zoom in