CI

Add `mypy` to tools section #14

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macOS (3.10)	44s
macOS (3.11)	21s
macOS (3.12)	19s
Ubuntu (3.10)	22s
macOS (3.13)	22s
Windows (3.10, x86)	1m 32s
Ubuntu (3.11)	20s
Windows (3.10, x64)	1m 12s
Ubuntu (3.12)	24s
Windows (3.11, x86)	1m 16s
Ubuntu (3.13)	21s
Windows (3.11, x64)	1m 7s
Ubuntu (3.12, check formatting)	2m 31s
Windows (3.12, x86)	1m 11s
Windows (3.12, x64)	54s
Windows (3.13, x86)	1m 35s
Windows (3.13, x64)	59s
check	3s
	15m 33s