3 Commits

Author	SHA1	Message	Date
Tim Abbott	6b69cc0b39	lint: Run mypy as part of main linter. ... To support this, we add a pass_targets option to the main linter library, because with current mypy, it's generally counterproductive to pass the list of files in (can produce spurious errors; isn't faster).	2018-12-16 21:52:53 -08:00
Tim Abbott	f3c6d91e69	mypy: Switch default to daemon mode. ... There isn't any real advantage to running the non-daemon mode at this point.	2018-12-16 21:37:58 -08:00
Vishnu Ks	a86faecff5	tools: Rename tools/travis directory to tools/ci.	2018-12-10 11:07:26 -08:00