Resolve "Mypy mirror dependencies don't get updated"

Summary

(Summarize the merge request concisely.)

Explain your context

(Explain what you did.)

Please list breaking changes, new features or bugfixes

• Breaking changes:

• New features:

• Bugfixes:

Closes #252 (closed)