Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

run-mypy: Link to docs on ReadTheDocs.

This commit is contained in:
Tim Abbott 2016-04-28 12:35:54 -07:00
parent b60141fd84
commit d61c8f91cf
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/run-mypy
View File

@ -63,8 +63,8 @@ if python_files:
else:
print("\nThe mypy static type checker for Python threw some errors,")
print("which indicates a bug in your code or incorrect type annotations.")
print("Please see docs/mypy.md for details on how Zulip is using mypy")
print("to find bugs and how to debug the issue.")
print("Please see http://zulip.readthedocs.io/en/latest/mypy.html for details")
print("on mypy, how Zulip is using mypy, and how to debug common issues.")
sys.exit(rc)
else:
print("There are no files to run mypy on.")