CI: simplify & fix mypy setup, ignore autogenerated files in ruff

TulipaEnergy · Jun 24, 2024 · 8f99513 · 8f99513
1 parent 5a6d6a3
commit 8f99513
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/python-tests.yml b/.github/workflows/python-tests.yml
@@ -94,4 +94,4 @@ jobs:
           python -m pip install --upgrade pip
           pip install mypy{,_extensions}
       - name: Type check w/ mypy
-        run: echo y | mypy --install-types --check-untyped-defs --pretty src tests
+        run: mypy --install-types --non-interactive --pretty
diff --git a/pyproject.toml b/pyproject.toml
@@ -66,9 +66,11 @@ extend-exclude ='''
 
 [tool.mypy]
 ignore_missing_imports = true
+check_untyped_defs = true
 files = "src"
 
 [tool.ruff]
+respect-gitignore = true
 exclude = [
     ".direnv",
     ".eggs",