[py] Remove publication of typing coverage in CI

Author: cgoldberg

.github/workflows/ci-python.yml

@@ -28,7 +28,7 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           pip install tox==4.25.0
-      - name: Test with tox
+      - name: Generate docs
         run: tox -c py/tox.ini
         env:
           TOXENV: docs
@@ -48,10 +48,9 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           pip install tox==4.25.0
-      - name: Test with tox
+      - name: Run type checking
         run: |
-          tox -c py/tox.ini -- --cobertura-xml-report ci || true
-          bash <(curl -s https://codecov.io/bash) -f py/ci/cobertura.xml
+          tox -c py/tox.ini || true
         env:
           TOXENV: mypy
 

py/tox.ini

@@ -33,7 +33,6 @@ setenv =
 skip_install = true
 deps =
     mypy==1.16.0
-    lxml==5.4.0
     types-urllib3==1.26.25.14
     types-certifi==2021.10.8.3
     trio-typing==0.10.0