Closed MatthieuDartiailh closed 1 year ago
Merging #192 (94e3cb4) into main (dfe2ac5) will increase coverage by
0.00%
. The diff coverage is88.88%
.
:mega: This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more
Pyright cannot be satisfied in all cases (it sometimes complain of redundant overload but mypy need both) still the improvements are nice to take.