Commit Graph

2 Commits

Author SHA1 Message Date
rany2
45ffe0cf48 Also run mypy on PRs 2023-01-05 01:18:31 +02:00
rany2
e55b18d3f4 add mypy workflow 2023-01-05 01:14:56 +02:00