Skip to content

Improve search (make fuzzy again and more robust) #2945

Improve search (make fuzzy again and more robust)

Improve search (make fuzzy again and more robust) #2945

Triggered via pull request November 4, 2024 16:44
@nikkunikku
synchronize #932
fix-search
Status Success
Total duration 11m 58s
Artifacts

CI.yml

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