2 commits

Author	SHA1	Message	Date
Felix Fontein	b3dc06a7dd	Clean up other Python files (#11379) ... * Address issues found by ruff check. * Make mypy happy; remove some Python 2 compat code. * Also declare port1.	2026-01-05 17:59:58 +01:00
Felix Fontein	6088b0cff5	CI: add type checking (#10997) ... * Set up type checking with mypy. * Make mypy pass. * Use list() instead of sorted().	2025-10-29 17:13:38 +00:00