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
..
aggregate-coverage.sh	Add default license header to files which have no copyright or license header yet (#5074)	2022-08-05 14:03:38 +02:00
combine-coverage.py	Clean up other Python files (#11379)	2026-01-05 17:59:58 +01:00
process-results.sh	Add default license header to files which have no copyright or license header yet (#5074)	2022-08-05 14:03:38 +02:00
publish-codecov.py	Clean up other Python files (#11379)	2026-01-05 17:59:58 +01:00
report-coverage.sh	Add default license header to files which have no copyright or license header yet (#5074)	2022-08-05 14:03:38 +02:00
run-tests.sh	Add default license header to files which have no copyright or license header yet (#5074)	2022-08-05 14:03:38 +02:00
time-command.py	Clean up other Python files (#11379)	2026-01-05 17:59:58 +01:00