mypy

gh-137341: Remove more word duplications #15990

Sign in to view logs

Triggered via pull request August 3, 2025 14:39

serhiy-storchaka

opened #137342

serhiy-storchaka:docs-duplicated-words

Status Success

Total duration 23s

Artifacts –

mypy.yml

on: pull_request

Matrix: mypy