zulip/tools/ci
Tim Abbott f3c6d91e69 mypy: Switch default to daemon mode.
There isn't any real advantage to running the non-daemon mode at this
point.
2018-12-16 21:37:58 -08:00
..
activate-venv tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
backend mypy: Switch default to daemon mode. 2018-12-16 21:37:58 -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