Skip to content

mypy: Fix erroring files. #127

@roberthoenig

Description

@roberthoenig

Background

We have recently added mypy support to this repo, but many files are corrupted and throw errors on mypy.

Task

#126 updates the exclude_list in tools/run-mypy Each file in this list errors on mypy. We should fix each file and remove it from the list. zulip_bots/zulip_bots/bots is an exception, we don't enforce mypy annotations in this directory.

This task is great for beginners or/and those who want to get comfortable with mypy annotations.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions