Skip to content

fix(lean-ci,#17336): lost_gate soustrait la couverture reprise — deplacer le gate n'est pas le perdre - #17440

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/17336-lost-gate-coverage-subtraction
Sep 22, 2026
Merged

fix(lean-ci,#17336): lost_gate soustrait la couverture reprise — deplacer le gate n'est pas le perdre#17440
myia-ai-01 merged 1 commit into
mainfrom
fix/17336-lost-gate-coverage-subtraction

fix(lean-ci,#17336): lost_gate soustrait la couverture reprise — depl…

f99ecff
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar