Closed LaurentAjdnik closed 2 years ago
@LaurentAjdnik Can you please remove the mypy job as it is now redundant?
@WingCode When I'd asked for it to be added I had seen the checks go from 30s to 15m, but I'd forgotten that we had two checks builds and this adds minimal time to the existing cargo checks build. I'm sorry.
Fixes #132 by adding type hints.