Check Python

Bump mypy from 1.12.1 to 1.13.0 in /.github #653

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.11)	35s
build (3.12)	32s
build (3.13)	42s
deb	1m 58s
deploy	39s
notify-irc	22s
	4m 48s