Skip to content

fix: value being cast to int was already an int - #23

Merged
thomasisensee merged 1 commit into
mainfrom
fix-linting
Jul 28, 2026
Merged

fix: value being cast to int was already an int#23
thomasisensee merged 1 commit into
mainfrom
fix-linting

fix: value being cast to int was already an int

4917779
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 28, 2026 in 1s

100.00% of diff hit (target 81.48%)

View this Pull Request on Codecov

100.00% of diff hit (target 81.48%)

View more details on Codecov