Closed EvanKirshenbaum closed 8 months ago
This issue was referenced by the following commit before migration:
TODO:
tools
dirHere are the arguments I currently give to MyPy:
--follow-imports=silent --show-column-numbers --ignore-missing-imports
--warn-redundant-casts --warn-return-any --warn-unreachable
--strict-equality --show-error-codes
@EvanKirshenbaum I took care of all TODOs.
This is about ready to be merged in master. It currently sets up a Python 3.9 and 3.10 setup and runs
mypy
for all files inmpam/src
. It runs on bothpush
andpull_request
events in GitHub. It does not stop us from pushing or merging pull requests, but it will advise us if themypy
reports any issues.I had to do a lot of small commits to debug agains GitHub Actions. There is no point in keeping the individual commits, we should squash and merge.
Migrated from internal repository. Originally created by Rares Vernica on Aug 16, 2022 at 8:04 AM PDT. Closed on Aug 18, 2022 at 11:27 AM PDT.