housekeeping: switch 3.13 to non-dev

This commit is contained in:
Erik Wrede 2024-10-18 13:40:31 +02:00
parent 821451fddc
commit 73df50e3dc
No known key found for this signature in database
GPG Key ID: 2180166EDF80A9DA

View File

@ -25,7 +25,7 @@ jobs:
fail-fast: false fail-fast: false
matrix: matrix:
include: include:
- {name: '3.13', python: '3.13-dev', os: ubuntu-latest, tox: py313} - {name: '3.13', python: '3.13', os: ubuntu-latest, tox: py313}
- {name: '3.12', python: '3.12', os: ubuntu-latest, tox: py312} - {name: '3.12', python: '3.12', os: ubuntu-latest, tox: py312}
- {name: '3.11', python: '3.11', os: ubuntu-latest, tox: py311} - {name: '3.11', python: '3.11', os: ubuntu-latest, tox: py311}
- {name: '3.10', python: '3.10', os: ubuntu-latest, tox: py310} - {name: '3.10', python: '3.10', os: ubuntu-latest, tox: py310}