Skip to content

Try every jixia patch instead of hardcoding one Lean release - #25

Merged
Gabrielebattimelli merged 1 commit into
mainfrom
fix/jixia-4.33
Aug 18, 2026
Merged

Try every jixia patch instead of hardcoding one Lean release#25
Gabrielebattimelli merged 1 commit into
mainfrom
fix/jixia-4.33

Try every jixia patch instead of hardcoding one Lean release

268fcb0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar