Skip to content
This repository was archived by the owner on Apr 26, 2024. It is now read-only.

Make scripts-dev pass mypy --disallow-untyped-defs#12356

Merged
DMRobertson merged 14 commits intodevelopfrom
dmr/typing-scripts-dev
Apr 27, 2022
Merged

Make `scripts-dev` pass `mypy --disallow-untyped-defs`#12356
DMRobertson merged 14 commits intodevelopfrom
dmr/typing-scripts-dev

Commits

Commits on Apr 20, 2022

Commits on Apr 27, 2022