Merge branch 'develop' into feat/typehints

This commit is contained in:
Justus Kuhlmann 2025-11-03 11:54:01 +01:00 committed by GitHub
commit 54a8e022df
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
17 changed files with 2880 additions and 69 deletions

View file

@ -17,7 +17,7 @@ jobs:
- name: Set up Python environment
uses: actions/setup-python@v5
with:
python-version: "3.10"
python-version: "3.12"
- name: flake8 Lint
uses: py-actions/flake8@v2
with: