Repository navigation

ci(#14337): tranche 1 — pool de runners spécialisé Lean (label coursia-lean) - #14589

Merged

myia-ai-01 merged 4 commits into

mainfrom

feature/14337-lean-pool

Sep 4, 2026

Commits on Sep 4, 2026
- ci(#14337): tranche 1 -- specialised Lean runner pool (label coursia-lean)
  
  jsboige
  and
  claude
  committed
  e26348c
- fix(#14337): ENV PATH before the elan RUN in Dockerfile.lean
  
  jsboige
  and
  claude
  committed
  674365f
- ci(#14337): pin lean image toolchain to v4.32.1 -- 13/14 lakes measured
  jsboige
  committed
  872b73e
- ci(#14337): lean slots get memory-swap 24g -- Hashlife walls exit 137 under 8g
  jsboige
  committed
  496079d