Temporarily disable mypy.

Mypy is a 2nd python type system on top of pytype, let's disable it
until we have a better story for migration.

.github/workflows/builds.yaml

@@ -22,25 +22,25 @@ jobs:
       run: pip3 install ruff
     - name: Run ruff checks
       run: ruff check src
-  mypy:
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v3
-    - name: Set up Python ${{ matrix.python-version }}
-      uses: actions/setup-python@v4
-      with:
-        python-version: '3.11'
-        cache: 'pip'
-    - name: Install dependencies
-      run: pip3 install mypy
-    - name: Run mypy checks
-      run: mypy src/
+# mypy:
+#   runs-on: ubuntu-latest
+#   steps:
+#   - uses: actions/checkout@v3
+#   - name: Set up Python ${{ matrix.python-version }}
+#     uses: actions/setup-python@v4
+#     with:
+#       python-version: '3.11'
+#       cache: 'pip'
+#   - name: Install dependencies
+#     run: pip3 install mypy
+#   - name: Run mypy checks
+#     run: mypy src/
   build:
     runs-on: ubuntu-latest
     strategy:
       matrix:
         python-version: ["3.7", "3.8", "3.9", "3.10", "3.11"]
-    needs: [ruff, mypy]
+    needs: [ruff]
     steps:
     - uses: actions/checkout@v3
     - name: Set up Python ${{ matrix.python-version }}