CI: python3-mypy test should probably look at _all_ python code?
Right now, the python3-mypy test does this:
python3-mypy:
stage: check
variables:
MYPYPATH: maint
script:
- maint/common/apt-install mypy
- mypy --strict maint/update-md-links
- mypy --strict maint/list_crates
- mypy --strict maint/cargo-check-publishable
But we have other python scripts not listed there. Probably instead of hardcoding a list of python scripts, it should look for everything in maint/
that has python
in its first line, or something like that.