Skip to content

Search: allow typos when searching by string#20660

Open
SkySkimmer wants to merge 1 commit into
rocq-prover:masterfrom
SkySkimmer:search-fuzzy
Open

Search: allow typos when searching by string#20660
SkySkimmer wants to merge 1 commit into
rocq-prover:masterfrom
SkySkimmer:search-fuzzy

Search: allow typos when searching by string

a3f61d9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Windows
succeeded May 5, 2026 in 36m 17s