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

Commits

Commits on Aug 18, 2026