Fix

Author: srittau

.github/workflows/tests.yml

@@ -83,12 +83,12 @@ jobs:
           # TODO: (2025-05-10) This is a bad hack to work around mypy crashing
           # when running on Python 3.14. See https://github.com/python/mypy/pull/19020.
           if [[ "${{ matrix.python-version }}" == "3.13.2" ]]; then
-              MYPY_PY_VERSION="3.14-dev"
+              MYPY_PY_VERSION="3.14"
+          else
+            # python-version can sometimes be pinned to a specific version or to "-dev", but
+            # mypy understands only X.Y version numbers.
+            MYPY_PY_VERSION=$(echo ${{ matrix.python-version }} | cut -d - -f 1 | cut -d . -f 1-2)
           fi
-
-          # python-version can sometimes be pinned to a specific version or to "-dev", but
-          # mypy understands only X.Y version numbers.
-          MYPY_PY_VERSION=$(echo ${{ matrix.python-version }} | cut -d - -f 1 | cut -d . -f 1-2)
           python ./tests/mypy_test.py --platform=${{ matrix.platform }} --python-version=${MYPY_PY_VERSION}
 
   regression-tests: