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