Mypy integration #18

Merged
mathias2784 merged 3 commits from mypy-integration into master 2026-10-10 18:37:09 +00:00
3 Commits
Author SHA1 Message Date
mathias2784 265baf9031 include mypy in pipeline
Tests / test_and_lint (push) Successful in 33s
2026-10-10 19:36:01 +01:00
mathias2784 f4b6efe097 mypy fixes
Tests / test_and_lint (push) Successful in 34s
2026-10-10 18:06:54 +01:00
mathias2784 a245ae2355 add mypy
Tests / test_and_lint (push) Successful in 26s
2026-10-10 17:57:22 +01:00