4 Commits

Author	SHA1	Message	Date
rany2	e3c3bca93d	Fix workflow	2023-01-05 01:36:13 +02:00
rany2	28b4d55376	fix workflow	2023-01-05 01:33:52 +02:00
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