Skip to content

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

Lock the Lean package build per project and write oleans atomically

135bb81
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar