Lint PEPs

Poll required: PEP 13: Clarify tie resolution #9857

Sign in to view logs

Triggered via pull request October 28, 2025 19:55

zware

synchronize #4672

zware:pep13-tie-amendment

Status Success

Total duration 36s

Artifacts –

lint.yml

on: pull_request