add mypy + black+ruff and try to use --json-stats instead of the hard to parse logs#28
Draft
RonnyPfannschmidt wants to merge 5 commits intoJohannes11833:masterfrom
Draft
add mypy + black+ruff and try to use --json-stats instead of the hard to parse logs#28RonnyPfannschmidt wants to merge 5 commits intoJohannes11833:masterfrom
RonnyPfannschmidt wants to merge 5 commits intoJohannes11833:masterfrom
