Closed isabelizimm closed 9 months ago
With each new file, we need to ignore it in pyright for now (unless it is fully type-checked).
With each new file, we need to ignore it in pyright for now (unless it is fully type-checked).