Repository navigation

Make the Lean service safe for concurrent checks of one project - #21

Merged

senamakel merged 5 commits into

mainfrom

lean-build-lock

Oct 26, 2026

Merged

Make the Lean service safe for concurrent checks of one project#21
senamakel merged 5 commits into
mainfrom
lean-build-lock

Commits on Oct 26, 2026
- test(docker): add concurrency test for lean server
  
  senamakel
  and
  medullabot
  committed
  2cb8ab3
- refactor(lean): extract package build into helper
  
  senamakel
  and
  medullabot
  committed
  8dfcad3
- fix(lean): serialise builds per project and write oleans atomically
  
  senamakel
  and
  medullabot
  committed
  614fa8d
- fix(lean): skip missing build outputs when replacing
  
  senamakel
  and
  medullabot
  committed
  4220f6d
- Lock the Lean package build per project and write oleans atomically
  
  senamakel
  and
  medullabot
  committed
  135bb81