zulip/tools/ci
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
..
activate-venv tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
backend lint: Run mypy as part of main linter. 2018-12-16 21:52:53 -08:00
frontend tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
production tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
production-helper tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
setup-backend tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
setup-frontend tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
setup-production tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
success-http-headers.txt tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00