Skip to content

chore(deps-dev): bump mypy from 1.7.0 to 1.7.1#31

Merged
github-actions[bot] merged 1 commit intomainfrom dependabot/pip/mypy-1.7.1Nov 27, 2023

Commits

Commits on Nov 27, 2023