Add mypy CI and config (ref #358)#518
Merged
acolomb merged 10 commits intoJun 9, 2025
Merged
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Codecov / codecov/patch
succeeded
Jun 9, 2025 in 0s
Coverage not affected
View this Pull Request on Codecov
Coverage not affected
Loading