Skip to content

fix(ci,#15698): borner les jobs Lean pour convertir un wedge en red check - #15706

Merged
myia-ai-01 merged 2 commits into
mainfrom
fix/15698-lean-workflow-timeout
Sep 12, 2026
Merged

fix(ci,#15698): borner les jobs Lean pour convertir un wedge en red check#15706
myia-ai-01 merged 2 commits into
mainfrom
fix/15698-lean-workflow-timeout

fix(ci,#15698): les quatre bornes Lean a 300 -- 60 tuait 4 succes mes…

f3987d4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar