Skip to content

Merge pull request #416 from OSLL/case_insensitive_search_414 #76

Merge pull request #416 from OSLL/case_insensitive_search_414

Merge pull request #416 from OSLL/case_insensitive_search_414 #76

Triggered via push April 30, 2025 09:58
Status Success
Total duration 25s
Artifacts
find_conflicts
20s
find_conflicts
Fit to window
Zoom out
Zoom in