lint: use ty in linter

Author: willcl-ark

ci/lint/01_install.sh

@@ -31,7 +31,6 @@ python3 --version
 
 uv pip install --python /python_env \
   lief==0.16.6 \
-  mypy==1.18.2 \
   pyzmq==27.1.0 \
   ruff==0.13.2 \
   vulture==2.14

ci/lint/container-entrypoint.sh

@@ -11,6 +11,7 @@ export LC_ALL=C
 git config --global --add safe.directory /bitcoin
 
 export PATH="/python_env/bin:${PATH}"
+export VIRTUAL_ENV="/python_env"
 
 if [ -z "$1" ]; then
   bash -ic "./ci/lint/06_script.sh"

ci/lint_imagefile

@@ -10,6 +10,7 @@ ENV DEBIAN_FRONTEND=noninteractive
 ENV LC_ALL=C.UTF-8
 
 COPY --from=ghcr.io/astral-sh/uv:latest /uv /uvx /bin/
+COPY --from=ghcr.io/astral-sh/ty:0.0.12 /ty /bin/
 
 COPY ./ci/retry/retry /ci_retry
 COPY ./.python-version /.python-version

test/lint/README.md

@@ -46,7 +46,7 @@ or `--help`:
 | Lint test | Dependency |
 |-----------|:----------:|
 | [`lint-python.py`](/test/lint/lint-python.py) | [lief](https://github.com/lief-project/LIEF)
-| [`lint-python.py`](/test/lint/lint-python.py) | [mypy](https://github.com/python/mypy)
+| [`lint-python.py`](/test/lint/lint-python.py) | [ty](https://github.com/astral-sh/ty)
 | [`lint-python.py`](/test/lint/lint-python.py) | [pyzmq](https://github.com/zeromq/pyzmq)
 | [`lint-python-dead-code.py`](/test/lint/lint-python-dead-code.py) | [vulture](https://github.com/jendrikseipp/vulture)
 | [`lint-shell.py`](/test/lint/lint-shell.py) | [ShellCheck](https://github.com/koalaman/shellcheck)

test/lint/lint-python.py

@@ -5,24 +5,15 @@
 # file COPYING or http://www.opensource.org/licenses/mit-license.php.
 
 """
-Check for specified mypy warnings in python files.
+Check for type errors in python files using ty.
 """
 
-import os
-from pathlib import Path
+import shutil
 import subprocess
 
 from importlib.metadata import metadata, PackageNotFoundError
 
-# Customize mypy cache dir via environment variable
-cache_dir = Path(__file__).parent.parent / ".mypy_cache"
-os.environ["MYPY_CACHE_DIR"] = str(cache_dir)
-
-DEPS = ['lief', 'mypy', 'pyzmq']
-
-# Only .py files in test/functional and contrib/devtools have type annotations
-# enforced.
-MYPY_FILES_ARGS = ['git', 'ls-files', 'test/functional/*.py', 'contrib/devtools/*.py']
+DEPS = ['lief', 'pyzmq']
 
 
 def check_dependencies():
@@ -33,15 +24,16 @@ def check_dependencies():
             print(f"Skipping Python linting since {dep} is not installed.")
             exit(0)
 
+    if not shutil.which('ty'):
+        print("Skipping Python linting since ty is not installed.")
+        exit(0)
+
 
 def main():
     check_dependencies()
 
-    mypy_files = subprocess.check_output(MYPY_FILES_ARGS, text=True).splitlines()
-    mypy_args = ['mypy', '--show-error-codes'] + mypy_files
-
     try:
-        subprocess.check_call(mypy_args)
+        subprocess.check_call(['ty', 'check'])
     except subprocess.CalledProcessError:
         exit(1)