Lint PEPs

Poll required: PEP 13: Clarify tie resolution #9938

Sign in to view logs

Triggered via pull request November 12, 2025 11:54

hugovk

synchronize #4672

zware:pep13-tie-amendment

Status Success

Total duration 47s

Artifacts –

lint.yml

on: pull_request