Skip to content

Enable mypy lintrunner, Part 2 (codegen/*, docs/*)#7493

Merged
mergennachin merged 1 commit intomainfrom
lints_part_2
Jan 3, 2025

Commits

Commits on Jan 3, 2025