enable mypy if not python3.13.5

Author: Christian-B

.github/workflows/python_checks.yml

@@ -221,6 +221,7 @@ jobs:
           # - runner: ubuntu-latest
           #  python-version: "3.14"
 
+          # mypy hard coded to avoid 3.13.5
           - runner: ubuntu-latest
             python-version: "3.13.5"
 
@@ -251,13 +252,13 @@ jobs:
         cfg-file: ${{ inputs.cfg-file }}
         pip-installs: ${{ inputs.pip-installs }}
 
-    #- name: Lint with mypy
-    #  if: ${{ (matrix.python-version != env.PRERELEASE || inputs.check-prereleases == 'true') && inputs.mypy-packages != '' }}
-    #  run: mypy --python-version ${{ matrix.python-version }} ${{ inputs.mypy-packages }}
+    - name: Lint with mypy
+      if: ${{ (matrix.python-version != env.PRERELEASE || inputs.check-prereleases == 'true') && (inputs.mypy-packages != '') &&  (matrix.python-version != '3.13.5') }}
+      run: mypy --python-version ${{ matrix.python-version }} ${{ inputs.mypy-packages }}
 
-    # - name: Lint with mypy using disallow-untyped-def
-    #  if: ${{ (matrix.python-version != env.PRERELEASE || inputs.check-prereleases == 'true') && inputs.mypy-full-packages != '' }}
-    #  run: mypy --python-version ${{ matrix.python-version }} --disallow-untyped-defs ${{ inputs.mypy-full-packages }}
+    - name: Lint with mypy using disallow-untyped-def
+      if: ${{ (matrix.python-version != env.PRERELEASE || inputs.check-prereleases == 'true') && (inputs.mypy-packages != '') &&  (matrix.python-version != '3.13.5') }}
+      run: mypy --python-version ${{ matrix.python-version }} --disallow-untyped-defs ${{ inputs.mypy-full-packages }}
 
     - name: Lint with flake8
       if: ${{ matrix.python-version != env.PRERELEASE || inputs.check-prereleases == 'true' }}