paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-03 21:43:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

requirements: Remove unused mypy.txt lock file.

Browse Source 
It’s unused since commit b7ec1b55dd.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2022-09-07 17:44:58 -07:00
committed by Tim Abbott
parent a9b12ae067
commit 0cd76d17d7
5 changed files with 5 additions and 308 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
docs/testing/mypy.md
View File

@@ -38,11 +38,7 @@ CI testing process in the `backend` build.
## Installing mypy
mypy is installed by default in the Zulip development environment. If
you'd like to install just the version of `mypy` that we're using
(useful if e.g. you want `mypy` installed on your laptop outside the
Vagrant guest), you can do that with
`pip install -r requirements/mypy.txt`.
mypy is installed by default in the Zulip development environment.
## Running mypy on Zulip's code locally