Skip to content

editor_gui: Fix broken case-insensitive search (#686) #1054

editor_gui: Fix broken case-insensitive search (#686)

editor_gui: Fix broken case-insensitive search (#686) #1054

Triggered via push September 19, 2025 20:57
Status Success
Total duration 54s
Artifacts

linter.yml

on: push
Fit to window
Zoom out
Zoom in