corrlib

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