Skip to content

Document lock and ownership contracts - #76

Merged
benoitc merged 1 commit into
mainfrom
lock-contracts
Aug 29, 2026
Merged

Document lock and ownership contracts#76
benoitc merged 1 commit into
mainfrom
lock-contracts

Document lock and ownership contracts on the shared structs

774c311
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

8 warnings
Free-threaded Python 3.13t
succeeded Aug 29, 2026 in 10m 10s