Skip to content

fix(lean,#18329): re-exécution Lean-12/16f sous python3-lean 3.13.16 — Lean-13 retiré (suivi #20065) - #19665

Merged
myia-ai-01 merged 9 commits into
mainfrom
fix/18329-lean-python313-regen
Oct 9, 2026
Merged

fix(lean,#18329): re-exécution Lean-12/16f sous python3-lean 3.13.16 — Lean-13 retiré (suivi #20065)#19665
myia-ai-01 merged 9 commits into
mainfrom
fix/18329-lean-python313-regen

fix(lean,#18329): retirer Lean-13 du perimetre -- preuve de build reg…

0c53665
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar