Skip to content

fix(lean-ci,#17336): le checker de couverture credite la jambe composite B.3 (rouge main Scripts Tests) - #17813

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/serre100-axiom-coverage
Sep 25, 2026
Merged

fix(lean-ci,#17336): le checker de couverture credite la jambe composite B.3 (rouge main Scripts Tests)#17813
myia-ai-01 merged 1 commit into
mainfrom
fix/serre100-axiom-coverage

fix(lean-ci,#17336): le checker de couverture credite la jambe compos…

75a7c0a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar