mirror of
https://github.com/zulip/zulip.git
synced 2026-06-24 21:08:25 +08:00
Previously, we checked scripts in a separate run to work around mypy not supporting multiple scripts with the same name. Since we have fixed that issue, we can restore the original behavior. We leave the --scripts-only option available, though I'm not sure it's particularly useful and we'll probably eventually remove it. |
||
|---|---|---|
| .. | ||
| activate-venv | ||
| backend | ||
| frontend | ||
| production | ||
| production-helper | ||
| setup-backend | ||
| setup-frontend | ||
| setup-production | ||
| setup-static-analysis | ||
| static-analysis | ||
| success-http-headers.txt | ||