Repository navigation

fix(lock): release cannot delete a lock taken over during it - #360

Merged

CarmenDou merged 2 commits into

mainfrom

fix/lock-release-claim

Oct 8, 2026

Merged

fix(lock): release cannot delete a lock taken over during it#360
CarmenDou merged 2 commits into
mainfrom
fix/lock-release-claim

Commits on Oct 8, 2026
- fix(lock): release cannot delete a lock taken over during it, and the contention test models abandonment as exit
  CarmenDou
  committed
  c1655a2
- fix(lock): release fails closed when it cannot take its claim
  CarmenDou
  committed
  00140fe