test/mypy #11

Merged

jkuhl merged 5 commits from test/mypy into develop

2025-12-02 12:45:07 +01:00

Author	SHA1	Message	Date
Justus Kuhlmann	235a613057	correct typo All checks were successful Mypy / mypy (push) Successful in 46s Details Pytest / pytest (3.12) (push) Successful in 51s Details Pytest / pytest (3.13) (push) Successful in 51s Details Pytest / pytest (3.14) (push) Successful in 49s Details Mypy / mypy (pull_request) Successful in 44s Details Pytest / pytest (3.12) (pull_request) Successful in 50s Details Pytest / pytest (3.13) (pull_request) Successful in 49s Details Pytest / pytest (3.14) (pull_request) Successful in 48s Details	2025-12-02 12:40:22 +01:00
Justus Kuhlmann	5109cbd4ab	add mypy workflow Some checks failed Mypy / mypy (push) Failing after 17s Details Pytest / pytest (3.12) (push) Successful in 50s Details Pytest / pytest (3.13) (push) Has been cancelled Details Pytest / pytest (3.14) (push) Has been cancelled Details	2025-12-02 12:37:37 +01:00
Justus Kuhlmann	854431997e	add mypy	2025-12-02 12:36:03 +01:00
Justus Kuhlmann	c46eb68305	correct mypy issues II	2025-12-02 12:35:41 +01:00
Justus Kuhlmann	4546688d97	correct mypy issues	2025-12-02 12:35:09 +01:00