Replace stubs with types-idlelib

Author: CoolCat467

check.sh

@@ -4,7 +4,6 @@ set -ex
 
 ON_GITHUB_CI=true
 EXIT_STATUS=0
-PROJECT='idlemypyextension'
 
 # If not running on Github's CI, discard the summaries
 if [ -z "${GITHUB_STEP_SUMMARY+x}" ]; then
@@ -94,7 +93,7 @@ Problems were found by static analysis (listed above).
 To fix formatting and see remaining errors, run
 
     uv sync --extra tools
-    ruff check src/$PROJECT
+    ruff check src
     mypy
     ./check.sh
 

ci.sh

@@ -75,9 +75,6 @@ else
     INSTALLDIR=$(python -c "import os, $PROJECT; print(os.path.dirname($PROJECT.__file__))")
     cp ../pyproject.toml "$INSTALLDIR"
 
-    # get mypy tests a nice cache
-    MYPYPATH=".." mypy --config-file= --cache-dir=./.mypy_cache -c "import $PROJECT" >/dev/null 2>/dev/null || true
-
     echo "::endgroup::"
     echo "::group:: Run Tests"
     if coverage run --rcfile=../pyproject.toml -m pytest -ra --junitxml=../test-results.xml ../tests --verbose --durations=10 $flags; then

pyproject.toml

@@ -55,6 +55,7 @@ tools = [
     "codespell>=2.3.0",
     "pre-commit>=4.2.0",
     "attrs>=25.3.0",
+    "types-idlelib>=0.0.0",
 ]
 
 [project.urls]
@@ -72,7 +73,6 @@ package = true
 
 [tool.mypy]
 files = ["src/idlemypyextension/", "tests"]
-mypy_path = "stubs"
 enable_error_code = [
     "truthy-bool",
     "mutable-override",