Closed gladhorn closed 4 years ago
Good idea! I'm also trying out GitHub actions, because I've never used them heavily before and the potential for inline annotations seems nice. So I'll try adding MyPy to that as well.
Also, thanks for all your help recently!! I'm sending you a collaborator invitation so you should be able to merge your own PRs if you like or commit directly. Always happy to do a code review in any case, of course.
After adding a few type annotations, let's keep things clean by checking that mypy is still happy when changes are made. This finds some coding errors.