Repository navigation

fix(lean,#17357): Lean-16c -- six affirmations perimees (durees, jours, exercices) - #20127

Merged

myia-ai-01 merged 2 commits into

mainfrom

fix/17357-lean16c-stale-timings

Oct 10, 2026

Commits on Oct 9, 2026
- fix(lean,#17357): Lean-16c -- six affirmations perimees (durees, jours, exercices)
  
  jsboige
  and
  claude
  committed
  b272c3b
- Fix(notebooks,#17357): Lean-16c -- retirer les compteurs "N cellules" en prose
  
  jsboige
  and
  claude
  committed
  b80c0d8