Debanjum Singh Solanky fd0a2f55f8 Run mypy checks in test workflow and on push (via pre-commit) ... - Run mypy on git push (not every commit) but for all files - Running it on pre-commit, doesn't make sense as mypy wants to look at all files, not just diff files - But this is too time consuming to run every commit, so run on push - Update development section documentation on installing, manually running pre-commit for validation that includes running mypy checks		2023-02-17 16:08:56 -06:00
..
workflows	Run mypy checks in test workflow and on push (via pre-commit)	2023-02-17 16:08:56 -06:00