Repository navigation

fix(lean,#18700): conditionner le statut final sur install_ok et test_ok - #18721

Closed

jsboige wants to merge 2 commits into

mainfrom

fix/18700-lean01-wrapper-status

Closed

fix(lean,#18700): conditionner le statut final sur install_ok et test_ok#18721
jsboige wants to merge 2 commits into
mainfrom
fix/18700-lean01-wrapper-status

Commits on Oct 1, 2026
- fix(lean,#18700): conditionner le statut final sur install_ok et test_ok
  
  jsboige
  and
  claude
  committed
  b2139d2
- fix(lean,#18700): update metadata.papermill to reflect cell re-execution (fix STALE_BLOCK)
  jsboige
  committed
  7f50856