Vishnu Ks
|
2267f09813
|
docs: Change place to ask help from mailing list to chat.zulip.org.
|
2017-10-04 08:20:29 -07:00 |
Tim Abbott
|
6ef55145f5
|
travis: Merge the static-analysis build into backend.
[Tweaked by gnprice to leave the use of --linecoverage-report
unmodified for now.]
|
2017-08-29 15:42:01 -07:00 |
Tim Abbott
|
0cd287b3f5
|
mypy: Add documentation for requirements/mypy.txt.
|
2017-08-15 07:24:42 -07:00 |
Greg Price
|
6e9f8b90dc
|
provision: Remove the last reference to `install-mypy`, and delete it.
This script has been redundant for some time now.
|
2017-08-10 18:00:19 -07:00 |
Vishnu Ks
|
700e08da4a
|
docs: Use get_user in mypy.md.
|
2017-07-20 16:50:23 -07:00 |
Cynthia Lin
|
9777496046
|
repository: Update information with Codecov migration.
|
2017-06-20 07:17:39 -04:00 |
Rishi Gupta
|
4cf894fcb9
|
mypy: Update docs to recommend typing.Text instead of six.text_type.
|
2016-12-26 16:11:37 -08:00 |
Eklavya Sharma
|
ed03619f95
|
docs/mypy.md: Document zerver/lib/type_debug.py.
|
2016-07-23 14:38:24 -07:00 |
Sumana Harihareswara
|
850d8d1181
|
Fix formatting, capitalization, & grammar in mypy doc.
|
2016-07-12 19:14:31 -07:00 |
Eklavya Sharma
|
51239f225b
|
Mention build name in docs.
Mention in docs that tools/run-mypy and tools/check-py3k are run
in the 'static-analysis' build.
|
2016-07-11 21:28:01 -07:00 |
Tim Abbott
|
89b5eaaa7d
|
docs: Improve several headings.
|
2016-06-26 09:54:19 -07:00 |
Eklavya Sharma
|
f18493f922
|
Add documentation about zerver/lib/str_utils.py.
|
2016-06-11 17:31:56 +05:30 |
Eklavya Sharma
|
85ef5900b4
|
docs/mypy.md: Add section on annotating strings.
|
2016-06-10 16:30:14 -07:00 |
Tim Abbott
|
c9ef726048
|
docs/mypy: Add note about Zulip's annotation goals.
|
2016-06-10 16:30:14 -07:00 |
Eklavya Sharma
|
a4c14cd448
|
Improve docs/mypy.md.
Add link to mypy cheat sheet.
Warn against modifying annotations to somehow make them pass on buggy code.
[Description expanded by tabbott]
|
2016-06-10 16:30:00 -07:00 |
Sumana Harihareswara
|
f65778f1e2
|
Improve sub-headings in documentation.
Signed-off-by: Sumana Harihareswara <sumanah@panix.com>
|
2016-05-31 09:05:38 -07:00 |
Tim Abbott
|
f06c8c7cc2
|
Update *.readthedocs.org => *.readthedocs.io.
ReadTheDocs has moved their hosting of user project websites to the
new readthedocs.io domain.
|
2016-04-29 16:00:08 -07:00 |
Eklavya Sharma
|
b60141fd84
|
Add documentation on the using the mypy static type checker.
[with substantial tweaks by tabbott]
|
2016-04-28 12:29:45 -07:00 |