v1.3.1
Release date: Nov 25, 2024
Improvements:
- Use
floorrather thanroundin the thermometer, so that we don't get 100%
success in the presence of failures (#15)
Release date: Nov 25, 2024
Improvements:
floor rather than round in the thermometer, so that we don't get 100%