ci: upload mypy coverage artifacts

.github/workflows/main.yml

@@ -33,6 +33,11 @@ jobs:
 
     - run: scripts/ci/run
 
+    - uses: actions/upload-artifact@v2
+      with:
+        name: .mypy-coverage
+        path: .mypy-coverage/
+
   pypi:
     runs-on: ubuntu-latest
     needs: [build] # add all other jobs here

tox.ini

@@ -36,7 +36,10 @@ commands =
     # todo I guess use a script...
     python3 -m mypy -p my.hypothesis \
                     -p my.instapaper \
+                    --txt-report  .mypy-coverage \
+                    --html-report .mypy-coverage \
                     {posargs}
+    # txt report is a bit more convenient to view on CI
 
 
 # ideally, keep core modules only here