Closed jeromekelleher closed 3 months ago
Attempt at closing #209
coverage: 98.866%. remained the same when pulling 6926282609c7f6915bdeac62d1f07b2119feb420 on jeromekelleher:try-tqdm-locks into 9b035033b4d91f1750a043479728c82b48ebab1e on sgkit-dev:main.
Attempt at closing #209