Skip to content

Unblock indexing on Lean 4.32, fail loudly when it stalls - #21

Merged
Gabrielebattimelli merged 1 commit into
mainfrom
fix/lean-4.32-indexing
Aug 15, 2026
Merged

Unblock indexing on Lean 4.32, fail loudly when it stalls#21
Gabrielebattimelli merged 1 commit into
mainfrom
fix/lean-4.32-indexing

Unblock indexing on Lean 4.32, fail loudly when it stalls

1737452
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar