add mypy to CI

[atravitz]

PR Author Checklist

• add news item if changes are user-facing
• run pre-commit.ci autofix when the PR is ready for review

Tips

• Comment "pre-commit.ci autofix" to have pre-commit.ci auto-format your PR.
  Since this will create a commit, it is best to make this comment when you are finished with your work.

Developers certificate of origin

• I certify that this contribution is covered by the MIT License here and the Developer Certificate of Origin at https://developercertificate.org/.

Reviewer Checklist

• news entry has been added if necessary
• pre-commit auto fix has been run
• any API breaks have been documented

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 92.41%. Comparing base (c1707c4) to head (75fbe07).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #178   +/-   ##
=======================================
  Coverage   92.41%   92.41%           
=======================================
  Files          84       84           
  Lines        2570     2570           
=======================================
  Hits         2375     2375           
  Misses        195      195           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.