4 Commits

Include renames

Author	SHA1	Message	Date
Athanasius	db956cd68b	scripts/mypy-all: Add a little comment documentation	2022-12-23 15:32:09 +00:00
Athanasius	3d53b1a54d	github/mypy: Specifically run for win32 platform	2022-12-23 15:24:45 +00:00
A_D	862565e955	github/push-checks: set mypy-all script to be +x	2022-12-23 17:18:56 +02:00
Athanasius	841ae2006e	mypy: Add script to run against all, and use in github/push-checks	2022-12-23 15:06:47 +00:00