chore(repo): drop Python 3.{7,8}, add Python 3.13 in tests/workflows;…

… upgrade mypy
christgau · Jan 14, 2025 · 5a9c64c · 5a9c64c
1 parent 7d80b7b
commit 5a9c64c
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/.github/workflows/static-analyses.yml b/.github/workflows/static-analyses.yml
@@ -15,12 +15,12 @@ jobs:
     steps:
     - uses: actions/checkout@v1
 
-    - name: Set up Python 3.7
+    - name: Set up Python 3.9
       uses: actions/setup-python@v1
       with:
-        python-version: 3.7
+        python-version: 3.9
 
-    - name: Python 3.7 syntax check
+    - name: Python 3.9 syntax check
       run: python -m py_compile src/wsdd.py
 
     - name: Lint with flake8
@@ -30,5 +30,5 @@ jobs:
 
     - name: mypy type check
       run: |
-        pip install mypy==1.0
+        pip install mypy==1.13.0
         test/linting/mypy.sh
diff --git a/test/linting/mypy.sh b/test/linting/mypy.sh
@@ -3,7 +3,7 @@
 base_dir="$(realpath $(dirname $0))"
 root_dir="$(realpath $(dirname $0)/../..)"
 
-for version in 3.7 3.8 3.9 3.10 3.11 3.12; do
+for version in 3.9 3.10 3.11 3.12 3.13; do
 	echo -n "checking for Python ${version}..."
 	mypy --config-file="${base_dir}/mypy.ini" --python-version=${version} ${root_dir}/src/wsdd.py
 	echo

diff --git a/test/regressions/01_asyncio_changes_python310/run_tcp.sh b/test/regressions/01_asyncio_changes_python310/run_tcp.sh
@@ -4,7 +4,7 @@
 # The API for ´start_server´ was schanged in 3.10.
 # @see related Github issue #162
 
-python_versions=('3' '3.7' '3.8' '3.9.' '3.10' '3.11' '3.12')
+python_versions=('3' '3.9' '3.10' '3.11' '3.12' '3.13')
 
 socket_port="3333"
 

diff --git a/test/regressions/01_asyncio_changes_python310/run_unix.sh b/test/regressions/01_asyncio_changes_python310/run_unix.sh
@@ -4,7 +4,7 @@
 # The API for ´start_unix_server´ was schanged in 3.10.
 # @see Github issue #162
 
-python_versions=('3' '3.7' '3.8' '3.9.' '3.10' '3.11' '3.12')
+python_versions=('3' '3.9' '3.10' '3.11' '3.12' '3.13')
 
 socket_dir="$(mktemp -d)"
 socket_filename="${socket_dir}/wsdd.sock"