Repository navigation

test(integration,#18915): LeanDojo v2 prereq verdict + tests (RECOVERABLE-LOCAL) - #18927

Closed

myia-ai-01 wants to merge 4 commits into

mainfrom

feature/18915-leandojo-feasibility

Closed

test(integration,#18915): LeanDojo v2 prereq verdict + tests (RECOVERABLE-LOCAL)#18927
myia-ai-01 wants to merge 4 commits into
mainfrom
feature/18915-leandojo-feasibility

Commits on Oct 3, 2026
- test(integration,#18915): LeanDojo v2 prereq verdict + tests (RECOVERABLE-LOCAL)
  
  jsboige
  and
  claude
  committed
  36ccb84
- fix(integration,#18915): correct python cap (3.10-3.12) + deterministic control tests
  
  claude
  authored and
  jsboige
  committed
  8c96a67
- fix(integration,#18915): cover pip-fail, import-fail, elan/lean nonzero exit
  
  jsboige
  and
  claude
  committed
  4b9c3e7
- fix(integration,#18927): qualifier le docstring -- CI yarn promesse non livree
  
  jsboige
  and
  claude
  committed
  74da491