mirror of
https://github.com/zulip/zulip.git
synced 2025-11-05 06:23:38 +00:00
This establishes a runtime check that their types continue to reflect reality going forward. Signed-off-by: Anders Kaseorg <anders@zulip.com>
This directory contains scripts that are used in building, managing,
testing, and other forms of work in a Zulip development environment.
Note that tools that are also useful in production belong in
scripts/ or should be Django management commands.
For more details, see https://zulip.readthedocs.io/en/latest/overview/directory-structure.html.