Repository navigation

ci(lean,#2874): plomberie build-jobs (LEAN_NUM_THREADS) — unité infra du split de PR 14821 - #15434

Merged

myia-ai-01 merged 2 commits into

mainfrom

ci/2874-knot-lean-build-jobs

Sep 10, 2026

Commits on Sep 10, 2026
- ci(lean,#2874): plomberie build-jobs (cap LEAN_NUM_THREADS) dans lean-build/lean-axiom + wiring knot_lean -- unite infra du split de PR 14821
  jsboige
  committed
  bc3a9fc
- Merge branch 'main' into ci/2874-knot-lean-build-jobs
  myia-ai-01
  authored
  25abc57