Lint PEPs

PEP 800: Rename to "disjoint base" #9359

Sign in to view logs

Triggered via pull request August 12, 2025 03:30

synchronize #4540

JelleZijlstra:pep800-disjoint

Status Success

Total duration 35s

Artifacts –

lint.yml

on: pull_request