Check Python

Bump mypy from 1.11.2 to 1.12.0 in /.github (#77) #594

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.11)	38s
build (3.12)	37s
build (3.13-dev)	40s
deb	1m 56s
deploy	39s
notify-irc	0s
	4m 30s