Commit Graph

1 Commits

Author SHA1 Message Date
1c1e57d868
ci: Add and configure mypy, and make it happy 2023-11-16 09:44:36 +01:00