zulip/tools/ci
Aman Agrawal 6b73926e93 lint: Add --skip arg to replace --no-gitlint/mypy.
Use --skip=gitlint,mypy instead of --no-gitlint/mypy.
2019-06-18 11:32:04 -07:00
..
activate-venv Use #!/usr/bin/env for bash shebangs. 2018-12-17 17:21:08 -08:00
backend lint: Add --skip arg to replace --no-gitlint/mypy. 2019-06-18 11:32:04 -07:00
frontend lint: Add --skip arg to replace --no-gitlint/mypy. 2019-06-18 11:32:04 -07:00
production Use #!/usr/bin/env for bash shebangs. 2018-12-17 17:21:08 -08:00
production-helper ci: Move backend and production tests to Ubuntu 16.04 (xenial). 2019-05-24 17:07:15 -07:00
setup-backend Use #!/usr/bin/env for bash shebangs. 2018-12-17 17:21:08 -08:00
setup-frontend tools: Rename tools/travis directory to tools/ci. 2018-12-10 11:07:26 -08:00
setup-production ci: Move backend and production tests to Ubuntu 16.04 (xenial). 2019-05-24 17:07:15 -07:00
success-http-headers.txt ci: Move backend and production tests to Ubuntu 16.04 (xenial). 2019-05-24 17:07:15 -07:00