4 Commits

Author	SHA1	Message	Date
Reid Barton	0b7852f081	Generate mypy coverage report for travis + coveralls.	2016-06-04 13:01:19 -07:00
Eklavya Sharma	f3e25c68c7	Prevent tools/travis/mypy from failing silently. ... Also improve the format of tools/travis/mypy's output. Also add those files to the exclude list which are failing mypy check.	2016-05-21 12:37:04 +05:30
Tim Abbott	3a0e7c217f	mypy: Move verbose error output to travis CI wrapper. ... This makes it easier to pipe the output of tools/run-mypy to tools like grep.	2016-05-06 13:38:12 -07:00
Eklavya Sharma	c80f699321	Add tools/run-mypy to Travis checks. ... Fixes #635.	2016-04-28 10:03:35 -07:00