Fire mypy

Author: inducer

.github/workflows/ci.yml

@@ -31,20 +31,6 @@ jobs:
                 pip install ruff
                 ruff check
 
-    mypy:
-        name: Mypy
-        runs-on: ubuntu-latest
-        steps:
-        -   uses: actions/checkout@v4
-        -   name: "Main Script"
-            run: |
-                curl -L -O https://tiker.net/ci-support-v0
-                . ./ci-support-v0
-
-                build_py_project_in_conda_env
-                python -m pip install mypy pytest
-                ./run-mypy.sh
-
     basedpyright:
         runs-on: ubuntu-latest
         steps:

.gitlab-ci.yml

@@ -96,20 +96,6 @@ Ruff:
   except:
   - tags
 
-Mypy:
-  script: |
-    EXTRA_INSTALL="mypy pytest"
-
-    curl -L -O https://tiker.net/ci-support-v0
-    . ./ci-support-v0
-
-    build_py_project_in_venv
-    ./run-mypy.sh
-  tags:
-  - python3
-  except:
-  - tags
-
 Downstream:
   parallel:
     matrix:

pyproject.toml

@@ -47,7 +47,7 @@ pytato = [
     "pytato>=2021.1",
 ]
 test = [
-    "mypy",
+    "basedpyright",
     "pytest",
     "ruff",
 ]
@@ -119,24 +119,6 @@ required-imports = ["from __future__ import annotations"]
 # from @dataclass_array_container.
 "test/test_utils.py" = ["I002"]
 
-[tool.mypy]
-python_version = "3.10"
-warn_unused_ignores = true
-# TODO: enable this
-# check_untyped_defs = true
-
-[[tool.mypy.overrides]]
-module = [
-    "islpy.*",
-    "loopy.*",
-    "meshmode.*",
-    "pymbolic",
-    "pymbolic.*",
-    "pyopencl.*",
-    "jax.*",
-]
-ignore_missing_imports = true
-
 [tool.typos.default]
 extend-ignore-re = [
   "(?Rm)^.*(#|//)\\s*spellchecker:\\s*disable-line$"