Run mypy on more files.

.github/workflows/mypy.yml

@@ -1,33 +1,45 b''
 name: Run MyPy
 
 on:
   push:
     branches: [ master, 7.x]
   pull_request:
     branches: [ master, 7.x]
 
 jobs:
   build:
 
     runs-on: ubuntu-latest
     strategy:
       matrix:
         python-version: [3.8]
 
     steps:
     - uses: actions/checkout@v2
     - name: Set up Python ${{ matrix.python-version }}
       uses: actions/setup-python@v2
       with:
         python-version: ${{ matrix.python-version }}
     - name: Install dependencies
       run: |
         python -m pip install --upgrade pip
         pip install mypy pyflakes flake8
     - name: Lint with mypy
       run: |
         mypy IPython/terminal/ptutils.py
+        mypy IPython/core/magics/*.py
+        mypy IPython/terminal/__init__.py
+        mypy IPython/terminal/console.py
+        #mypy IPython/terminal/debugger.py
+        #mypy IPython/terminal/embed.py
+        mypy IPython/terminal/interactiveshell.py
+        mypy IPython/terminal/ipapp.py
+        mypy IPython/terminal/magics.py
+        mypy IPython/terminal/prompts.py
+        mypy IPython/terminal/ptshell.py
+        mypy IPython/terminal/ptutils.py
+        mypy IPython/terminal/shortcuts.py
         mypy IPython/core/c*.py
     - name: Lint with pyflakes
       run: |
         flake8  IPython/core/magics/script.py