Pre-commit CI

update leaderboard in Readme #35

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre-commit	1m 28s
MyPy (3.9)	28s
MyPy (3.10)	30s
MyPy (3.12)	25s
MyPy (3.11)	24s
	3m 15s