chore(deps-dev): Bump mypy from 1.12.1 to 1.13.0 in the development-d… #257

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and Inspect	13s
Publish to PyPI	0s
	13s