mypy

gh-137341: Remove more word duplications #15991

Sign in to view logs

Triggered via pull request August 3, 2025 14:47

serhiy-storchaka

synchronize #137342

serhiy-storchaka:docs-duplicated-words

Status Success

Total duration 27s

Artifacts –

mypy.yml

on: pull_request

Matrix: mypy