Add types in manager.py

jupyter · Mar 8, 2021 · 48176d9 · 48176d9
1 parent 7df16d5
commit 48176d9
Show file tree

Hide file tree

Showing 3 changed files with 134 additions and 61 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -31,6 +31,8 @@ jobs:
         pip install --upgrade setuptools pip
         pip install --upgrade --upgrade-strategy eager --pre -e .[test] pytest-cov codecov 'coverage<5'
         pip freeze
+    - name: Check types
+      run: mypy jupyter_client/manager.py
     - name: Run the tests
       run: py.test --cov jupyter_client -v jupyter_client
     - name: Code coverage